Git: undo push

Source: How to undo (almost) anything with Git

git revert <SHA>