Thanks
It sounds good to me.
Regards
JB
Le lun. 10 f?vr. 2020 ? 08:35, Alex Van Boxel <[email protected]> a ?crit :
I've started putting labels on PR's. I've done the first page for now (as I'm afraid putting them on older once could affect the stale bot. I hope this is ok.For now I'm only focussing on language and I'm going to see if I can write a GitLab action for it. I hope this is useful. Other kind of suggestions for labels, that can be automated, are welcome._/
_/ Alex Van Boxel
