diff options
| author |  Jeff King <peff@peff.net> | 2009-08-26 15:05:08 -0400 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2009-08-26 19:36:20 -0700 |
| commit | 7a4ee28f41270bf032d0dd0bfb17f601b9b3971a (patch) | |
| tree | b768d18b8892e646ff36075a7ddfc6a13034a59c /Documentation | |
| parent | Merge branch 'maint' (diff) | |
| download | tgif-7a4ee28f41270bf032d0dd0bfb17f601b9b3971a.tar.xz | |
clone: add --branch option to select a different HEAD
We currently point the HEAD of a newly cloned repo to the
same ref as the parent repo's HEAD. While a user can then
"git checkout -b foo origin/foo" whichever branch they
choose, it is more convenient and more efficient to tell
clone which branch you want in the first place.
Based on a patch by Kirill A. Korinskiy.
Signed-off-by: Jeff King <peff@peff.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation')
| -rw-r--r-- | Documentation/git-clone.txt | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Documentation/git-clone.txt b/Documentation/git-clone.txt index 2c63a0fbae..1cd1ecc746 100644 --- a/Documentation/git-clone.txt +++ b/Documentation/git-clone.txt @@ -127,6 +127,13 @@ objects from the source repository into a pack in the cloned repository. Instead of using the remote name 'origin' to keep track of the upstream repository, use <name>. +--branch <name>:: +-b <name>:: + Instead of pointing the newly created HEAD to the branch pointed + to by the cloned repositoroy's HEAD, point to <name> branch + instead. In a non-bare repository, this is the branch that will + be checked out. + --upload-pack <upload-pack>:: -u <upload-pack>:: When given, and the repository to clone from is accessed |