Skip to content

sync: close spin's issue while nothing is behind, reopen it when something is - #63

Merged
aledbf merged 1 commit into
mainfrom
sync/close-when-settled
Oct 26, 2026
Merged

aledbf merged 1 commit into
mainfrom
sync/close-when-settled

Conversation

@aledbf

@aledbf aledbf commented Oct 26, 2026

Copy link
Copy Markdown
Contributor

spin#657 ("Site vs spin main") was kept open for ever. Now:

  • A new first section, What keeps it open, lists what is behind: the site not on spin's newest release; spin-machine pinned short of its newest release; images.json without an image of spin's newest release; a chain workflow (machine.yml, propose.yml, fresh-install.yml) whose last run did not succeed, never ran or could not be read. A run still in progress counts as nothing yet.
  • Nothing behind: the issue is closed (completed). Something behind: the same issue is reopened - found among the bot's issues in any state, newest first - and opened only if there was never one.
  • Reported but never keeping it open: spin main past the pin (main is past every release between two) and what spinbox.dev runs (reinstalled when its owner decides).

Dry run today (-print): images.json (v20261026.01's AMI is building) and fresh-install.yml, whose last run on 2026-10-25 failed.

Tests: TestTheIssueIsClosedWhileSettledAndTheSameOneReopened (seen red with closing planted out), and the chain test now holds which links are behind.

🤖 Generated with Claude Code

…eopened when something is

"Site vs spin main" was a dashboard kept open for ever. It now says what keeps it open - the
site not on spin's newest release, a spin-machine pin short of the newest, a release with no
image, a chain workflow whose last run did not succeed - and is closed when nothing does, the
same issue reopened when something does again. What spin main has past the pin and what
spinbox.dev runs are reported and keep nothing open: main is past every release between two of
them, and spinbox.dev is reinstalled when its owner decides.

Co-Authored-By: Claude Opus 5.5 <[email protected]>
@aledbf
aledbf merged commit 50a9a68 into main Oct 26, 2026
2 checks passed
@aledbf
aledbf deleted the sync/close-when-settled branch October 26, 2026 02: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