Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
x/build/maintner: store Github pull request data #21086
If we want this to be a tool for wider use (and I think it would be good to do that), we need to store Github pull request data for projects.
Furthermore, we currently get Git commits from Gerrit CL's, we'll need to allow people to specify Github as their primary Git upstream and fetch commits from Github instead of Gerrit, and also to read some of the metadata from Github's API that we currently parse out of the Git commits in Gerrit.
There is some data we need in order to avoid calls to the GitHub API in GerritBot.
Number of commits, base ref, HEAD sha, etc.
It also doesn't support PR comments.