.gitconfig: add alias for push -f