On Tue, 2019-09-17 at 13:15 +0200, Otheus wrote:
Too much trouble.
How do I submit a patch or diff or whatever? Is
primary git repo these days?
It is not. Gerrit is used for code review.
If so, how do i male a pull request?
Andre Klapper (he/him) | Bugwrangler / Developer Advocate