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 at my build system I can see that the commit used to point to XYZ, however I don't have that commit locally as I hadn't done a pull or fetch recently. The repo is in Github, and I can navigate in Github to view the commit, so I know it is there.
How can I pull down the commit so I can reset master
back to the right commit without having to bother the dev who pushed that change?