Great initiative, thanks Alex! I was thinking to add such labels into PR title but I believe that GitHub labels are better since it can be used easily for filtering, for example.
Maybe it could be useful to add more granulation for labels, like “release”, “runners”, “website”, etc but I’m afraid to make the titles too heavy because of this. > On 10 Feb 2020, at 08:35, Alex Van Boxel <[email protected]> wrote: > > 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. > > <Screen Shot 2020-02-10 at 08.31.09.png> > _/ > _/ Alex Van Boxel
