Merge branch 'bw/push-options-recursively-to-submodules' into next
authorJunio C Hamano <gitster@pobox.com>
Mon, 14 Aug 2017 22:22:52 +0000 (15:22 -0700)
committerJunio C Hamano <gitster@pobox.com>
Mon, 14 Aug 2017 22:22:52 +0000 (15:22 -0700)
commit421dc09fd0ca036b3f9ac1bf1b6743ae71f0a93c
tree286f8477b1f6e8d0eac35e4f01f5657a7d985009
parentdcfcfc94af1fed17bf950fca3c8941bf88102f34
parentc7be7201a7b71f590325f0d858f909a4c0b443f6
Merge branch 'bw/push-options-recursively-to-submodules' into next

"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