Cotes Chung d51345e297 ci: reduce unnecessary pr-filter runs (#2033) ... - Checking the repository of the PR is more effective than checking the label to identify bot-initiated PRs - This change also allows more flexible PR body definitions for developers with write access to the repository		2024-11-08 22:35:18 +08:00
..
pr-filter.js	ci: reduce unnecessary pr-filter runs (#2033)	2024-11-08 22:35:18 +08:00