Skip to content

chore: drop stale maintainer_gap repros for closed issues (jul12 wave33)#18380

Merged
PurHur merged 1 commit into
masterfrom
chore/cleanup-stale-repros-jul12-wave33
Jul 12, 2026
Merged

chore: drop stale maintainer_gap repros for closed issues (jul12 wave33)#18380
PurHur merged 1 commit into
masterfrom
chore/cleanup-stale-repros-jul12-wave33

Conversation

@PurHur

@PurHur PurHur commented Jul 12, 2026

Copy link
Copy Markdown
Owner

Summary

Hygiene notes (not in this PR)

Test plan

  • ./script/ci-fast.sh (green, ~13 min)

Made with Cursor

Remove VM-green maintainer_gap scripts superseded by compliance PHPTs for
issues closed in the Jul 12 merge batch, plus preg AOT scratch repros after

Co-authored-by: Cursor <cursoragent@cursor.com>
#16075 merged.
@PurHur

PurHur commented Jul 12, 2026

Copy link
Copy Markdown
Owner Author

Cleanup bot handoff (#1492 comments disabled at 2500+ limit)

Hygiene actions this run:

  1. This PR — 50 stale maintainer_gap_* + 3 preg AOT scratch repros removed (superseded by compliance PHPTs).
  2. Regression: array_combine() enum-case keys — null keys operand TypeError not enum string Error (re-#8761, ext/standard/array.c) #9787 — duplicate/canonical note posted (fix Stdlib: array_combine() — enum case keys must TypeError not coerce to backing scalar (ext/standard/array.c) #8761 first).
  3. Branch audit — 29 agent/* branches with closed PRs retained (<7 days; delete after Jul 19).

@PurHur
PurHur merged commit 23b3713 into master Jul 12, 2026
1 check failed
@PurHur
PurHur deleted the chore/cleanup-stale-repros-jul12-wave33 branch July 14, 2026 22:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant