add `push -f` alias for git