How can I pull down a commit from Github (Enterprise) that I don't have locally? : <p>I accidentally did a <code>push --force</code> on the wrong repo (too many termminals open), effectively resetting the master branch back to an earlier commit.</p>

<p>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.</p>

<p>How can I pull down the commit so I can reset <code>master</code> back to the right commit without having to bother the dev who pushed that change?</p>
