Problemas em fazer push com diretório de trabalho.

Com Git 1.6 e versões anteriores, o diretório de trabalho seria
atualizado, o que poderia causar perda de dados, caso existissem
alterações não gravadas.

diff --git a/Colaborando_com_Git.mdwn b/Colaborando_com_Git.mdwn
index ef5882b..80ad818 100644 (file)
--- a/Colaborando_com_Git.mdwn
+++ b/Colaborando_com_Git.mdwn
@@ -230,8 +230,13 @@ Portanto, o padrão em versões desde 1.7.0 é impedir que tal branch seja
 atualizado, a não ser que a opção de configuração
 receive.denyCurrentBranch utilize os valores warn, false ou ignore.
 
+Anteriormente à versão 1.7.0, o diretório de trabalho era atualizado
+quando um push era feito. Isso poderia ser perigoso, pois o diretório de
+trabalho poderia conter alterações que não foram gravadas, causando a
+perda de dados.
+
 Mas existe um tipo de repositório que não possui diretório de trabalho,
-e pode evitar problemas como esse. Este tipo de repositório é conhecido
+e pode evitar problemas como esses. Este tipo de repositório é conhecido
 como repositório bare. Ele pode ser criado com a opção --bare de git
 init ou de git clone. Geralmente, por convenção, tais repositórios têm a
 URL terminada em .git.