My local repo is the latest one, then the GitHub repo is a little older, and then there's another repo that is the oldest, and I made some temporary changes to the oldest repo, then accidentally pushed to GitHub (what i wanted was to push the local one to GitHub).
Now, what I want to do is to reset hard on the GitHub repo to undo the accidental commit as if nothing ever happened, how should I do it? Should I pull the GitHub repo inside a new folder and then revert it and then push it back to GitHub?