Adding an alias for git push -f