On 29/09/20 10:58, Thomas Huth wrote: >> Hrm, that would force everyone to use Gitlab and I see some value in >> having pull request mails on the lists. You just opened the Pandora's >> box of discussions :-) That was the point. :) It was more to see opinions and alternative ideas than to seriously propose it. >> If it's easier for you I'd be open to open a marge request and send out >> pull mails at the same time so people can comment without login to Gitlab. > > ... or maybe the people who already have a gitlab account could simply > include the URL to their CI run in their pull request cover letter...? That's a good idea! Paolo
