3 Commits

Include renames

Author	SHA1	Message	Date
Lena	5889a27ff2	Consolidate GitHub helpers for community scripts (#63198) ... It's been fun for a while to have the same function calling GitHub API in every single script, but we're going to have fun in different ways now. This one's for you, @MrSubidubi! 🥂 ## Testing I've ran the things that had `--dry-run` locally and nothing blew up, but the ultimate smoke test will be carried out in production. --- Release Notes: - N/A	2026-09-04 11:40:05 +00:00
Finn Evers	146a568c79	ci: Configure more steps more explicitly (#61401) ... Also adds some Zizmor validations. Release Notes: - N/A	2026-07-23 11:25:56 +00:00
Lena	0db7bf3941	Add meta signals to the community PR board (#58635) ... For the ease of finding something that fits the time that reviewers have and for making it mechanically easier to prioritize the PRs from the community champions, surface some meta information on the PR board (and make it updatable). Meta information here means things like size and whether there's an issue linked to the PR (and what is its type if there is). Release Notes: - N/A	2026-06-05 10:16:52 +00:00