-
Notifications
You must be signed in to change notification settings - Fork 17.8k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
x/build: need a "mentions this issue" bot #9303
Comments
Russ wrote the original bot. Not sure how hard/easy gerrit is to poll, On 13 December 2014 at 18:37, Brad Fitzpatrick notifications@github.com
|
I just found out that if you use "git clone --mirror" to clone the official repo, For example, Looking for all commits in refs/changes namespace, and then "git cat-file -p" You don't even need to use Gerrit API for this. |
Interestingly, those orphaned commits are also present in the github mirror. |
This got done. |
Because we're using Gerrit, we're not getting Github's normal "mentions this issue" references on the Issue Tracker when a commit referencing "Fixes #nnnn" is pushed to Gerrit.
Are we going to have a bot provide this, like we did on code.google.com?
/cc @adg, @rsc
The text was updated successfully, but these errors were encountered: