Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
x/build: need a "mentions this issue" bot #9303
Russ wrote the original bot. Not sure how hard/easy gerrit is to poll,
On 13 December 2014 at 18:37, Brad Fitzpatrick email@example.com
I just found out that if you use "git clone --mirror" to clone the official repo,
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.