diff options
author | Junio C Hamano <gitster@pobox.com> | 2017-01-31 13:32:08 -0800 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2017-01-31 13:32:08 -0800 |
commit | f5f55a1046d85bd78244d25617358f48619785f8 (patch) | |
tree | d64b02de7308c6ae3767b92b1492ed9bbae505de /Documentation | |
parent | 2b3f61dc8b5ee4ee5b1c1ad8bdeebce52244a3a6 (diff) | |
parent | b10731f43dc21fa47c275052e7c074c686335cd3 (diff) | |
download | git-f5f55a1046d85bd78244d25617358f48619785f8.tar.gz git-f5f55a1046d85bd78244d25617358f48619785f8.tar.xz |
Merge branch 'km/branch-get-push-while-detached' into maint
"git <cmd> @{push}" on a detached HEAD used to segfault; it has
been corrected to error out with a message.
* km/branch-get-push-while-detached:
branch_get_push: do not segfault when HEAD is detached
Diffstat (limited to 'Documentation')
0 files changed, 0 insertions, 0 deletions