Use PUSHOPTS for git push if specified (I like -f)