Understanding git's --force-with-lease (developer.atlassian.com)

Interesting command. IMO not force pushing to master is a good rule of thumb... Changing master's history should definitely not be part of your workflow. (and is going to cause problems.)