Re: labels on GitLab

[Valentin Villenave]

On 5/12/20, Jonas Hahnfeld <address@hidden> wrote:
> I'd really hope we can discuss things before changing...

And *I*’d really hope “discuss things” can amount to more than
“blindly reverting everything and anything that’s been done by someone
else”.

Look, you’ve obviously spent quite some time setting this up and
you’re obviously much more familiar with the tools at hand; therefore,
I’m not gonna bother spending any more time trying to lend a hand
before *you* update the CG and properly explain what it is you want us
to do and/or not do, and how you want us to do and/or not do it.

Cheers,
-- V.