api: expand a page of pull requests in two queries, and say whether the viewer may edit one5 days ago
edit the squash message before merging, and split the merge button15 days ago
api: serve gh pr over GraphQL and REST (#114)a day ago
api: address review on gh pr compatibilitya day ago
add pull request reviews15 days ago
api: run the bookkeeping after a merge or applied suggestion through PullRequestsService.afterPush5 days ago