(no title)
TheBrokenRail | 2 years ago
From the sounds of it, the only situation where this PR-mirroring works properly, is PRs without any comments, which I imagine are quite rare. But if your PR does have comments, then you not only have to sign up for Gerrit anyways, but you're also responsible for keeping the GitHub PR and Gerrit PR in sync. That sounds horrible.
reichstein|2 years ago
If you want to do the reviews in Gerrit, then that's more annoying, but the changes can still be made on GitHub.