zzzeek / testgerrit-1

a project used to test our infrastructure, e.g. git pushes, mirroring, CI, etc.

Mike is testing gerrit, github, and all those things.

pr124

pr125

pr126

pr127