# look up the commit id in git log or on github, e.g. 42480f3, then dogit checkout mastergit checkout your_branchgit revert 42480f3# a text editor will open, close it with ctrl+x (editor dependent)git push origin your_branch# or replace origin with your remote