morluto 25b1c42ce4 ci: remove merge-queue support from the CI and title workflows (#11337) ...

The repository is user-owned, and GitHub offers merge queues only to organization-owned repositories, so no merge_group event can occur. Revert what 5efaedda88 (#11297) added only for merge groups. Reapply that commit if the repository moves to an organization.

2026-11-15 11:34:22 -05:00

..

client-verification.md

feat(mcp)!: retire the full schema profiles and declare schema facts as typed annotations (#10693)

2026-11-15 21:51:18 +08:00

documentation.md

docs: refuse literal tool counts in living prose (#10585)

2026-11-14 18:58:24 -05:00

reconstruction-readiness.md

docs: organize canonical documentation layout and verify new pages (#2791)

2026-11-08 01:42:28 +08:00

releasing.md

test(mcp): compile advertised patterns with the regex engines clients run (#10982)

2026-11-15 21:38:23 +08:00

roadmap.md

docs: organize canonical documentation layout and verify new pages (#2791)

2026-11-08 01:42:28 +08:00

testing.md

ci: remove merge-queue support from the CI and title workflows (#11337)

2026-11-15 11:34:22 -05:00

tool-design.md

refactor(verify): keep each counted guard's baseline in its own file (#11316)

2026-11-15 11:14:59 -05:00