Skip to content

chore: remove merge_queue.py, record it in LEGACY.md - #35

Merged
NaNIsaac merged 1 commit into
mainfrom
chore/remove-merge-queue
Oct 29, 2026
Merged

NaNIsaac merged 1 commit into
mainfrom
chore/remove-merge-queue

Conversation

@NaNIsaac

Copy link
Copy Markdown
Owner

Removes tools/merge_queue.py and its CI selftest step. The Markdown digest it wrote has no readers left.

  • Tag legacy-20261029 (annotated, pushed) points at 93cbbc4, the last commit with the file.
  • New LEGACY.md lists the path, last commit, tag and reason; restore with git checkout legacy-20261029 -- tools/merge_queue.py.

Merge order: the DotFiles sentinel still starts this script every 10 minutes from the local checkout. Merge this after the DotFiles change that drops that job, or the sentinel logs a start failure until then.

Status: code.

local-ci: 913f73c | conventions.py check (0 findings), local_ci.py selftest ok, conventions.py selftest ok; ruff has one I001 in tools/conventions.py that is already on main | CI matrix not run locally

@NaNIsaac
NaNIsaac merged commit a1eaa20 into main Oct 29, 2026
3 checks passed
@NaNIsaac
NaNIsaac deleted the chore/remove-merge-queue branch October 29, 2026 07:14
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