git: Use --force-with-leave on force push
git: Use --force-with-leave on force push

`--force-with-lease` is much safer because it ensures that I don't
force-push on top of someone else's work:
https://developer.atlassian.com/blog/2015/04/force-with-lease/

mattbostock/dotfiles