diff options
| author | Junio C Hamano <gitster@pobox.com> | 2013-06-27 21:38:17 (GMT) |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2013-06-27 21:38:17 (GMT) |
| commit | 6be17ec5828386c3ae17af26fac66f65f1c817ec (patch) | |
| tree | d6884be47d1ff7122f1a471b2333b7d22e091580 /t | |
| parent | c9cae1e28a050f115d7591ce1a68674c2067b54b (diff) | |
| parent | 0f075b220862e729eb3873a1c1496b923d17c2d4 (diff) | |
| download | git-6be17ec5828386c3ae17af26fac66f65f1c817ec.zip git-6be17ec5828386c3ae17af26fac66f65f1c817ec.tar.gz git-6be17ec5828386c3ae17af26fac66f65f1c817ec.tar.bz2 | |
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
Diffstat (limited to 't')
0 files changed, 0 insertions, 0 deletions