title: How to revert a commit made on github web interface
body: <p>I logged in to github.com and deleted a file.<br>
  This delete operation was commited on web interface.<br>
  But now, on my git shell this commit does not exist.<br>
  How do I revert this commit ?</p>