Btw, in PR label workflow it was suggested to drop the whole label workflow. Then there was a majority in favor of dropping it, but mentioned it was used during triage. That triage now no longer happens so I’d also consider the option to drop it altogether again, purely relying on GitHub workflows.
1 Like