Force push

Also known as: git push --force

git push --force: replacing a remote branch even when that is not a fast-forward, which can discard other people's commits. Blocked by default on GitHub protected branches.