Safely Force Pushing with Git using –force-with-lease=HEAD

https://www.jvt.me/posts/2018/09/18/safely-force-git-push/