Skip to content

a-change-is-never-both-active-and-archived - #909

Merged
VeryComplexAndLongName merged 2 commits into
mainfrom
a-change-is-never-both-active-and-archived
Oct 13, 2026
Merged

VeryComplexAndLongName merged 2 commits into
mainfrom
a-change-is-never-both-active-and-archived

Conversation

@VeryComplexAndLongName

Copy link
Copy Markdown
Owner

On 2026-10-10 cli-is-visible-on-the-homepage was archived (#881 renamed its folder), then #883 put the same change back among the active ones with every task open, and the merge gate passed it. The board then drew a shipped change as unfinished.

What changes

  • The merge gate, with --base <ref>, refuses every active change whose name the base has archived, naming the change and its archived folder.
  • The archive's own pull request is exempt: the base still has its change active, which is how a change is archived at all.
  • The one existing duplicate, cli-is-visible-on-the-homepage, is removed — its archived copy is the source of truth.

Checks

  • packages/core gains readResurrectedChanges, with tests that fail when the exemption is dropped.
  • Gate-level tests in the CLI, verified to fail when ok ignores the finding.
  • Proven against the real add 2 more changes #883 head tree and its base listings: it names cli-is-visible-on-the-homepage archived as 2026-10-10-cli-is-visible-on-the-homepage.
  • typecheck clean, lint 0 errors; openspec validate --strict valid.

Patch changesets for core and cli.

Pull request 883 put cli-is-visible-on-the-homepage back among the active
changes after the base archived it, and the merge gate passed it, so the
board drew a shipped change as unfinished. The gate now refuses such a
change, naming it and its archived folder, and the one existing duplicate
is removed.
@VeryComplexAndLongName
VeryComplexAndLongName force-pushed the a-change-is-never-both-active-and-archived branch from 48fd316 to 1ba1696 Compare October 13, 2026 06:39
@VeryComplexAndLongName
VeryComplexAndLongName enabled auto-merge (squash) October 13, 2026 06:40
@VeryComplexAndLongName
VeryComplexAndLongName merged commit 9a6159f into main Oct 13, 2026
10 checks passed
@VeryComplexAndLongName
VeryComplexAndLongName deleted the a-change-is-never-both-active-and-archived branch October 13, 2026 06:47
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