On Tue, 31 Jan 2017 14:08:41 -0800
Stefan Beller [off-list ref] wrote:
On Sun, Jan 29, 2017 at 5:00 PM, Junio C Hamano [off-list ref]
wrote:
quoted
2. If the amend is good and ready to go, "git add" to update the
superproject to make that amended result the one that is needed
in the submodule.
yup.
But that is what I am doing. The amended commit IS already
added to the superproject (and pushed to the remote).
Please have a look at my script, this happens here:
# Correct that in the parent too:
pushd parent
git add subm
git commit -m 'Updated subm.'
popd
The commit from before the amend was added to the super
project (but never pushed) but has now been completely
replaced. I still think this is a flaw in git. It shouldn't
not complain and simply push.
--
Carlo Wood [off-list ref]