| commit | 36a22e4b6c5c8a16c9a0ea308017c0cad2d1d679 | |
| author | Junio C Hamano <gitster@pobox.com> | |
| Thu, 6 Jun 2013 19:19:00 +0000 (6 12:19 -0700) | ||
| committer | Junio C Hamano <gitster@pobox.com> | |
| Thu, 6 Jun 2013 19:19:00 +0000 (6 12:19 -0700) | ||
| tree | 5166e0f50d55c4a5f78cf4ead9d73364693e418d | treesnapshot (tar.gz zip) |
| parent | 2fc0c022e60f54be55d6065b9a8abccdc0f67bab | commitdiff |
| parent | 0f075b220862e729eb3873a1c1496b923d17c2d4 | commitdiff |
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
"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