'tweaked git-push-exit command'