diff options
author | Jeff King <peff@peff.net> | 2014-11-24 21:39:12 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2014-12-17 22:04:31 +0300 |
commit | cc2fc7c2f07c4a2aba5a653137ac9b489e05df43 (patch) | |
tree | 4fb35f12f8ecc901f4e5509264fdd6f855373bb7 /Documentation/git-svn.txt | |
parent | 96b50cc19003d54f5962d65597c94e2c52eb22e7 (diff) |
verify_dotfile(): reject .git case-insensitively
We do not allow ".git" to enter into the index as a path
component, because checking out the result to the working
tree may causes confusion for subsequent git commands.
However, on case-insensitive file systems, ".Git" or ".GIT"
is the same. We should catch and prevent those, too.
Note that technically we could allow this for repos on
case-sensitive filesystems. But there's not much point. It's
unlikely that anybody cares, and it creates a repository
that is unexpectedly non-portable to other systems.
Signed-off-by: Jeff King <peff@peff.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-svn.txt')
0 files changed, 0 insertions, 0 deletions