How can I pull down a commit from Github (Enterprise) that I don't have locally?

Question

I accidentally did a push --force on the wrong repo (too many termminals open), effectively resetting the master branch back to an earlier commit.

Looking a

Answer 1

Is XYZ is reachable by some branch you can simply fetch. If not, please follow @weste's instructions to get it pointed to by a branch and then fetch:

git fetch
git checkout master
git reset --hard XYZ
git push -f origin master