Skip to content

Documents the upgrade host's patron resubmission - #228

Merged
johnnyt merged 1 commit into
mainfrom
se-kqkb-upgrade-host-registration-doc-polish
Oct 11, 2026
Merged

johnnyt merged 1 commit into
mainfrom
se-kqkb-upgrade-host-registration-doc-polish

Conversation

@johnnyt

@johnnyt johnnyt commented Oct 11, 2026

Copy link
Copy Markdown
Member

Summary

Two comment-only changes in the upgrade host's registration code.

  • UpgradeHost.Registrations: the private patron!/3 carries no @doc, so a comment directly above it now says what it does on a resubmission. When the branch already holds the email, it answers the first row as posted; the row is not updated, so a different name on the resubmission is not kept. Placing the sentence in a comment above the private function was decided by the conductor under a standing consent, 2026-10-11.
  • The router migration (AddStatifierRouter): its leading comment had one line far wider than the rest; the paragraph is reflowed to its neighbours' width. git diff --word-diff shows only the comment markers moving: no word is added, removed or reordered.

No code changes. The upgrade host's exact pins are unmoved (statifier 2.12.1, statifier_blocks 0.42.1, statifier_persistence 0.24.1, statifier_router 0.11.2 and the rest of upgrade_host/mix.exs).

Gate

Run on the rebased head, holding the repo's gate lock and a machine slot:

  • root mix quality: green;
  • from upgrade_host/, the Upgrade host CI job's commands (mix deps.get --check-locked, mix compile --warnings-as-errors, mix test): green.

Review

In-turn review: a diff critic read the diff against the bead and found the comment true to patron!/3 and submit/2, and the reflow word-identical. No record text in this PR.

The private patron!/3 gains a comment saying a resubmission from an
email the branch already holds answers the first row as posted, so a
different name on it is not kept. The router migration's comment is
reflowed to its neighbours' width, with no word changed.
@johnnyt
johnnyt force-pushed the se-kqkb-upgrade-host-registration-doc-polish branch from 5ff9b40 to 2f1a219 Compare October 11, 2026 09:39
@johnnyt
johnnyt merged commit 9dd9860 into main Oct 11, 2026
4 checks passed
@johnnyt
johnnyt deleted the se-kqkb-upgrade-host-registration-doc-polish branch October 11, 2026 09:40
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