summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 2172ce4)
raw | patch | inline | side by side (from: 2172ce4)
author | Junio C Hamano <junkio@cox.net> | |
Tue, 3 Oct 2006 09:30:47 +0000 (02:30 -0700) | ||
committer | Junio C Hamano <junkio@cox.net> | |
Tue, 3 Oct 2006 09:30:47 +0000 (02:30 -0700) |
When a repository is initialized long time ago with symbolic
HEAD, and "git-pack-refs --prune" is run, HEAD will be a
dangling symlink to refs/heads/ somewhere.
Running -e "$dir/HEAD" to guess if $dir is a git repository does
not give us the right answer anymore in such a case.
Also factor out two places that checked if the repository can be
exported with similar code into a call to a new function,
check_export_ok.
Signed-off-by: Junio C Hamano <junkio@cox.net>
HEAD, and "git-pack-refs --prune" is run, HEAD will be a
dangling symlink to refs/heads/ somewhere.
Running -e "$dir/HEAD" to guess if $dir is a git repository does
not give us the right answer anymore in such a case.
Also factor out two places that checked if the repository can be
exported with similar code into a call to a new function,
check_export_ok.
Signed-off-by: Junio C Hamano <junkio@cox.net>
No differences found