diff options
| -rwxr-xr-x | git-clone.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/git-clone.sh b/git-clone.sh index 9ed4135544..d4ee93f75b 100755 --- a/git-clone.sh +++ b/git-clone.sh @@ -48,6 +48,10 @@ Perhaps git-update-server-info needs to be run there?" case "$name" in *^*) continue;; esac + case "$bare,$name" in + yes,* | ,heads/* | ,tags/*) ;; + *) continue ;; + esac if test -n "$use_separate_remote" && branch_name=`expr "z$name" : 'zheads/\(.*\)'` then |