I personally prefer patch submission and discussion via mailing lists to pull requests and web interfaces. As a maintainer of aurweb, I would consider it a setback to move to something that makes maintenance work more cumbersome for me. However, if it turns out to improve either the quality or quantity of patches (without reducing the other), I am fine with switching.
One thing that I must point out is that having something like gitlab, doesn't preclude us from receiving patches on the mail lists. I recall setting up a gitlab hook that would create a merge request when some patch arrived on some email. Also, gitlab, and most of these tools, have API's. Hacking something should be trivial. Cheers, Giancarlo Razzolini
pgpTp9PNrO3tF.pgp
Description: PGP signature
