diff options
| author |  Nguyễn Thái Ngọc Duy <pclouds@gmail.com> | 2019-03-29 17:39:12 +0700 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2019-04-02 13:57:00 +0900 |
| commit | 163e3b2975cf07e72c81df4bcdf3d74ae667f4d8 (patch) | |
| tree | 8a9ba4f21d553574058a94e47ec62d7a5d397eb1 /Documentation/config.txt | |
| parent | switch: only allow explicit detached HEAD (diff) | |
| download | tgif-163e3b2975cf07e72c81df4bcdf3d74ae667f4d8.tar.xz | |
switch: add short option for --detach
"git checkout" automatically detaches branches and --detach is not
that useful (--no-detach is more likely). But for "switch", you
may want to use it more often once you're used to detached HEAD. This
of course adds -d to git-checkout but it does not harm (yet?) to do it.
Signed-off-by: Nguyễn Thái Ngọc Duy <pclouds@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/config.txt')
0 files changed, 0 insertions, 0 deletions