diff options
| author |  Junio C Hamano <gitster@pobox.com> | 2013-06-06 12:19:00 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2013-06-06 12:19:00 -0700 |
| commit | 36a22e4b6c5c8a16c9a0ea308017c0cad2d1d679 (patch) | |
| tree | 5166e0f50d55c4a5f78cf4ead9d73364693e418d /Documentation/git-reflog.txt | |
| parent | Merge branch 'ks/difftool-dir-diff-copy-fix' (diff) | |
| parent | push: make push.default = current use resolved HEAD (diff) | |
| download | tgif-36a22e4b6c5c8a16c9a0ea308017c0cad2d1d679.tar.xz | |
Merge branch 'rr/push-head'
"git push $there HEAD:branch" did not resolve HEAD early enough, so
it was easy to flip it around while push is still going on and push
out a branch that the user did not originally intended when the
command was started.
* rr/push-head:
push: make push.default = current use resolved HEAD
push: fail early with detached HEAD and current
push: factor out the detached HEAD error message
Diffstat (limited to 'Documentation/git-reflog.txt')
0 files changed, 0 insertions, 0 deletions