From d9d99ffdda439633f32d40b777cae71f5666a208 Mon Sep 17 00:00:00 2001 From: Daniela Mazza Date: Mon, 18 Sep 2017 22:40:18 +0200 Subject: [PATCH 1/2] added reveal.js to .gitignore --- .gitignore | 1 + 1 file changed, 1 insertion(+) 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 From a17baa793e8c865231ccb1228232a32d6670293a Mon Sep 17 00:00:00 2001 From: Daniela Mazza Date: Tue, 19 Sep 2017 19:26:11 +0200 Subject: [PATCH 2/2] aggiunta spiegazione bare repo --- git-crash-course.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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. -----