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/git-revert.txt | |
| 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/git-revert.txt')
0 files changed, 0 insertions, 0 deletions