You can just alias it in your bash profile, if it's too much to type. alias gitp...

		rectangletangle on June 9, 2015 \| parent \| context \| favorite \| on: How to undo almost anything with Git You can just alias it in your bash profile, if it's too much to type. alias gitpushf='git push --force-with-lease'