Compare commits

..

No commits in common. "4cdfa403cd68357d182d0e9bc22085c77e9a826f" and "733087eaf00202f1294bbdfbffbb6e8a0c188715" have entirely different histories.

2 changed files with 1 additions and 2 deletions

1
.gitignore vendored
View file

@ -13,7 +13,6 @@ pids
# Directory for instrumented libs generated by jscoverage/JSCover # Directory for instrumented libs generated by jscoverage/JSCover
lib-cov lib-cov
reveal.js
# Coverage directory used by tools like istanbul # Coverage directory used by tools like istanbul
coverage coverage

View file

@ -179,7 +179,7 @@ Clonare un repository remoto esistente:
### Bonus track ### Bonus track
* 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. * i repository remoti vengono di norma creati con **--bare** e non hanno working directory
----- -----