summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLibravatar Junio C Hamano <junkio@cox.net>2006-01-22 17:27:52 -0800
committerLibravatar Junio C Hamano <junkio@cox.net>2006-01-24 23:17:06 -0800
commit4fb66a62eeb7bfec115cd0058d7a05ab62fc23e7 (patch)
treeab55d82682368f3c03c2b2933dff5a821f99db9f
parentgit-clone: PG13 --naked option to --bare. (diff)
downloadtgif-4fb66a62eeb7bfec115cd0058d7a05ab62fc23e7.tar.xz
clone: do not create remotes/origin nor origin branch in a bare repository.
It is simply pointless, since no merges will ever happen in such a repository. Signed-off-by: Junio C Hamano <junkio@cox.net>
-rw-r--r--Documentation/git-clone.txt4
-rwxr-xr-xgit-clone.sh2
2 files changed, 4 insertions, 2 deletions
diff --git a/Documentation/git-clone.txt b/Documentation/git-clone.txt
index 370f53e769..684e4bdf69 100644
--- a/Documentation/git-clone.txt
+++ b/Documentation/git-clone.txt
@@ -62,7 +62,9 @@ OPTIONS
Make a 'bare' GIT repository. That is, instead of
creating `<directory>` and placing the administrative
files in `<directory>/.git`, make the `<directory>`
- itself the `$GIT_DIR`. This implies `-n` option.
+ itself the `$GIT_DIR`. This implies `-n` option. When
+ this option is used, neither the `origin` branch nor the
+ default `remotes/origin` file is created.
-o <name>::
Instead of using the branch name 'origin' to keep track
diff --git a/git-clone.sh b/git-clone.sh
index 8e65202320..73fc919800 100755
--- a/git-clone.sh
+++ b/git-clone.sh
@@ -209,7 +209,7 @@ esac
cd "$D" || exit
-if test -f "$GIT_DIR/HEAD"
+if test -f "$GIT_DIR/HEAD" && test -z "$bare"
then
head_points_at=`git-symbolic-ref HEAD`
case "$head_points_at" in