git didn't show an error if the push failed (non-ff)