Undo a commit that has already been pushed to the remote repository by Juri Strumpflohner