From: Junio C Hamano <gitster@pobox.com>
Date: Sun, 10 Sep 2017 08:02:49 +0000 (+0900)
Subject: Merge branch 'bw/push-options-recursively-to-submodules' into maint
X-Git-Tag: v2.14.2~39
X-Git-Url: http://git.osdn.net/view?a=commitdiff_plain;h=eba2a68f25c8afc56e204daf707e80613cc6e926;p=git-core%2Fgit.git

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
---

eba2a68f25c8afc56e204daf707e80613cc6e926