Compare commits
3 commits
733087eaf0
...
4cdfa403cd
Author | SHA1 | Date | |
---|---|---|---|
|
4cdfa403cd | ||
|
a17baa793e | ||
|
d9d99ffdda |
2 changed files with 2 additions and 1 deletions
1
.gitignore
vendored
1
.gitignore
vendored
|
@ -13,6 +13,7 @@ pids
|
|||
|
||||
# Directory for instrumented libs generated by jscoverage/JSCover
|
||||
lib-cov
|
||||
reveal.js
|
||||
|
||||
# Coverage directory used by tools like istanbul
|
||||
coverage
|
||||
|
|
|
@ -179,7 +179,7 @@ Clonare un repository remoto esistente:
|
|||
|
||||
### Bonus track
|
||||
|
||||
* i repository remoti vengono di norma creati con **--bare** e non hanno working directory
|
||||
* i repository remoti, in cui non si lavora direttamente ma ricevono solo comandi push e pull, vengono di norma creati con **--bare** e non hanno working directory. Sono repo usati per **condividere**. Gli sviluppatori clonano il *shared bare repo*, fanno modifiche locali nelle loro working repo e fanno push nel *shared bare repo* per rendere le modifiche disponibili agli altri. Siccome nessuno edita direttamente nel *shared bare repo*, non serve avere un working tree. Anzi, questo potrebbe essere causa di conflitto.
|
||||
|
||||
-----
|
||||
|
||||
|
|
Loading…
Reference in a new issue