Add git punch alias to push --force