diff requires.txt @ 2872:17556a81ec6f beta

Make detecting bare Git repositories more robust Git remote repositories may end on '.git', e.g. myrepo.git. Just checking for a repository path to end on '.git' causes 'Repository not found' errors in such a case. To distinguish between bare and normal Git repositories, check if there is a '/.git' part at the end of the repository path (i.e. if GIT_DIR is pointing to '.' (bare) or '.git').
author Stefan Engel <mail@engel-stefan.de>
date Tue, 25 Sep 2012 21:11:23 +0200
parents 0e73626f6040
children 23851216ac1e d79f3505549e
line wrap: on
line diff