GitHub API for reverting a pull request | Hacker News Reader