Repository navigation

Make gated sync PRs mergeable: regenerate the caller changelog and dispatch its required CI - #122

Merged

unbraind merged 6 commits into

mainfrom

fix/sync-pr-ci-and-changelog

Oct 14, 2026

Merged

Make gated sync PRs mergeable: regenerate the caller changelog and dispatch its required CI#122
unbraind merged 6 commits into
mainfrom
fix/sync-pr-ci-and-changelog

Commits on Oct 14, 2026
- fix: regenerate gated sync changelogs and dispatch caller CI
  unbraind
  committed
  7f7ff43
- fix: reject out-of-scope gated sync changes
  unbraind
  committed
  35d652b
- Give the c8 coverage merge an 8 GiB heap
  unbraind
  committed
  5dfab16
- Merge remote-tracking branch 'origin/main' into fix/sync-pr-ci-and-changelog
  unbraind
  committed
  5658d6c
- Run the heap-flag test against an isolated coverage fixture
  unbraind
  committed
  d96a0e5
- Discard changelog drift when gated sync has no tracker changes
  unbraind
  committed
  1409880