diff --git a/.gitignore b/.gitignore index 621038f..20382f3 100644 --- a/.gitignore +++ b/.gitignore @@ -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 diff --git a/git-crash-course.md b/git-crash-course.md index 86092fa..8f3eaaf 100644 --- a/git-crash-course.md +++ b/git-crash-course.md @@ -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. -----