vrr/zed - VRR Forge

vrr/zed

Fork 0

mirror of https://github.com/zed-industries/zed.git synced 2026-10-23 23:31:05 +00:00

Commit graph

Author	SHA1	Message	Date
Lena	cd1255fba1	Automate cleanup of non-responsive PRs (#65930 ) Ping and (after a grace period) close the stale community PRs where changes were requested but not addressed. Ping and (after a grace period) close the community PRs with no self-review. ## Testing Ran the dry-run locally and verified every PR listed. Release Notes: - N/A	2026-10-21 16:33:41 +00:00
Lena	24aabd3fa6	Community board automations: ignore case for Track (#65224 ) This is only really needed for Track, a custom field that has a manually-maintained mapping to the area labels on PRs, but it's a cheap enough operation for the rest of them. Follow-up to https://github.com/zed-industries/zed/pull/64650 Release Notes: - N/A	2026-10-06 09:03:01 +00:00
Lena	a7bc7d7736	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

Author

SHA1

Message

Date

Lena

cd1255fba1

Automate cleanup of non-responsive PRs (#65930 )

Ping and (after a grace period) close the stale community PRs where
changes were requested but not addressed.
Ping and (after a grace period) close the community PRs with no
self-review.

## Testing

Ran the dry-run locally and verified every PR listed.

Release Notes:

- N/A

2026-10-21 16:33:41 +00:00

Lena

24aabd3fa6

Community board automations: ignore case for Track (#65224 )

This is only really needed for Track, a custom field that has a
manually-maintained mapping to the area labels on PRs, but it's a cheap
enough operation for the rest of them. Follow-up to
https://github.com/zed-industries/zed/pull/64650

Release Notes:

- N/A

2026-10-06 09:03:01 +00:00

Lena

a7bc7d7736

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

3 commits