projects / git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: 2b3f61d b10731f)
Merge branch 'km/branch-get-push-while-detached' into maint
authorJunio C Hamano <gitster@pobox.com>
Tue, 31 Jan 2017 21:32:08 +0000 (13:32 -0800)
committerJunio C Hamano <gitster@pobox.com>
Tue, 31 Jan 2017 21:32:08 +0000 (13:32 -0800)
commitf5f55a1046d85bd78244d25617358f48619785f8
treed64b02de7308c6ae3767b92b1492ed9bbae505detree | snapshot
parent2b3f61dc8b5ee4ee5b1c1ad8bdeebce52244a3a6commit | diff
parentb10731f43dc21fa47c275052e7c074c686335cd3commit | diff
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
remote.c diff1 | diff2 | blob | history
Unnamed repository; edit this file 'description' to name the repository.