title: Is it possible to revert a commit through GitHub's web interface
body: <p>I'm teaching a HTML class on Chromebooks. We're using GitHub for both revision control and I'd like to show my students how to revert a commit. Since we don't have shell access on the Chromebooks I was hoping to find a way to do this online, through the GitHub website. Is that possible? I'm starting to think it might not be.</p>