| commit | 6be17ec5828386c3ae17af26fac66f65f1c817ec | |
| author | Junio C Hamano <gitster@pobox.com> | |
| Thu, 27 Jun 2013 21:38:17 +0000 (27 14:38 -0700) | ||
| committer | Junio C Hamano <gitster@pobox.com> | |
| Thu, 27 Jun 2013 21:38:17 +0000 (27 14:38 -0700) | ||
| tree | d6884be47d1ff7122f1a471b2333b7d22e091580 | treesnapshot (tar.gz zip) |
| parent | c9cae1e28a050f115d7591ce1a68674c2067b54b | commitdiff |
| parent | 0f075b220862e729eb3873a1c1496b923d17c2d4 | commitdiff |
Merge branch 'rr/push-head' into maint
* 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
* 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