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 /t | |
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 't')
-rwxr-xr-x | t/t1014-read-tree-confusing.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/t/t1014-read-tree-confusing.sh b/t/t1014-read-tree-confusing.sh index 7b31d53196..eff8aedf7a 100755 --- a/t/t1014-read-tree-confusing.sh +++ b/t/t1014-read-tree-confusing.sh @@ -27,6 +27,7 @@ done <<-\EOF . .. .git +.GIT EOF test_done |