[Development] GitHub Pull requests

[Miłosz Kosobucki]

Hello.

> What about Pull requests?

Git developers have an interesting take on that, although it integrates with mailing list and not 
Gerrit:

https://gitgitgadget.github.io/

For example, here's the GitHub PR:
https://github.com/git/git/pull/714
and corresponding mailing list discussion:
https://lore.kernel.org/git/pull.714.git.git.1582747775.gitgitgadget@gmail.com/

In the end, GitGadget's bot makes the PR "closed" but adds labels that indicate that it was merged 
to master.

Food for thought.

Cheers,

-- 
Miłosz Kosobucki