git-push-error-case