Gerrit to GitHub migration

Jump to bottom

Matthias Diener edited this page May 6, 2019 · 17 revisions

TLDR: Gerrit patches will be migrated to GitHub pull requests on Wednesday, May 8.

Steps

Set Gerrit