pro tip: be careful in using force push. In the past there's a version of git where it defaults to force all your local branches into the remote copy. When I did use force push, it pushed everything including my outdated local copy of PROD. Fortunately we were able to fix this before somebody else ran a git pull.
the new versions I believe are configured safer now afaik.