Merge branch 'bw/push-options-recursively-to-submodules' into maint
commiteba2a68f25c8afc56e204daf707e80613cc6e926
authorJunio C Hamano <gitster@pobox.com>
Sun, 10 Sep 2017 08:02:49 +0000 (10 17:02 +0900)
committerJunio C Hamano <gitster@pobox.com>
Sun, 10 Sep 2017 08:02:49 +0000 (10 17:02 +0900)
tree6d509543f8913fd3dc62cbd1b1098b9b5a753234
parent702239d049dbd95f55c898c4707a3615b0237abd
parentc7be7201a7b71f590325f0d858f909a4c0b443f6
Merge branch 'bw/push-options-recursively-to-submodules' into maint

"git push --recurse-submodules $there HEAD:$target" was not
propagated down to the submodules, but now it is.

* bw/push-options-recursively-to-submodules:
  submodule--helper: teach push-check to handle HEAD
builtin/submodule--helper.c
submodule.c
t/t5531-deep-submodule-push.sh