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.