A pull request manager for GitHub