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