diff options
| author | Junio C Hamano <gitster@pobox.com> | 2013-06-06 23:19:00 +0400 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2013-06-06 23:19:00 +0400 |
| commit | 36a22e4b6c5c8a16c9a0ea308017c0cad2d1d679 (patch) | |
| tree | 5166e0f50d55c4a5f78cf4ead9d73364693e418d /archive-zip.c | |
| parent | 2fc0c022e60f54be55d6065b9a8abccdc0f67bab (diff) | |
| parent | 0f075b220862e729eb3873a1c1496b923d17c2d4 (diff) | |
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 'archive-zip.c')
0 files changed, 0 insertions, 0 deletions