+ [2019-10-08T07:58:28Z] sianw Hello. I accidentally merged a branch into master via the github web interface whereas I meant to merge it into a different branch. I want to do the equivalent of "git reset --hard <commit_id>" to completely reset master to the point it was at before the accidental merge however I can only find a revert option on the interface. How do I do this?