How to undo an initial push to a Git repository

Question

So, I started with an empty repository and wanted to copy an existing Git repository there. If I initially pushed the wrong existing repository to that new, empty repository, how would I go about reversing or undoing that initial push so I could push the proper existing repository to my new one?

Answer 1

You can simply force push the correct existing repository to the remote one. Everything that is there will be overwritten:

git push -f