1$ git remote set-url --push origin no-pushing 2$ git push 3fatal: 'no-pushing' does not appear to be a git repository 4fatal: The remote end hung up unexpectedly See https://stackoverflow.com/questions/7556155/git-set-up-a-fetch-only-remote

Scenario: A PR has been merged and further tests found out that it breaks the build. What do you do? 1git checkout -b to-revert-commits 2git revert <sha-to-remove> 3git push -u origin to-revert-commits 45## create a Pull Request and have it reviewed and merged by others.

See https://github.com/blog/2019-how-to-undo-almost-anything-with-git