3 Commits

Author	SHA1	Message	Date
Ian Bassi	84011e232e	Restrict label bot to external PRs (#13263)	2026-04-17 19:03:32 -03:00
Ian Bassi	30265e4f98	Refine PR label bot (#13245)	2026-04-16 14:04:27 -03:00
Ian Bassi	0122e16e2c	PR LabelBot: allow users to tag their PRs (#13182) ... * Add PR label bot workflow Co-Authored-By: Rodrigo Faselli <162915171+RF47@users.noreply.github.com> * LabelBot add to bot add-label --------- Co-authored-by: Rodrigo Faselli <162915171+RF47@users.noreply.github.com>	2026-04-16 12:43:52 +08:00