From b13a031e748a780d446f94102e7dc59025589f90 Mon Sep 17 00:00:00 2001 From: Claude Date: Tue, 27 Oct 2026 14:02:45 +0000 Subject: [PATCH] notes: record PR 62 as landed; clear the re-signing list The only entry in "Branches known to need re-signing" was #192's three commits, held at refs/pull/192/head, which were to replace the squash commit e28e832 on upstream/glmgampoi-r. That has happened: they were re-signed, rebased onto upstream ce2c645 at Joshua's request, and merged by fast-forward on 2026-10-22 (head 08eaa8c), after which he deleted the branch. The list now says "None at present." and a short Record section keeps what happened. The superseded wip/pr62-theta entry said "Kept, not deleted", which stopped being true when the branch was removed from this fork; the record now says so, and that its theta commit landed upstream as 6b96d36. Co-Authored-By: Claude Opus 5.5 Claude-Session: https://claude.ai/code/session_01HtyPfZ1MWBB94RawgzQgz7 --- notes/commit-signing.md | 39 +++++++++++---------------------------- 1 file changed, 11 insertions(+), 28 deletions(-) diff --git a/notes/commit-signing.md b/notes/commit-signing.md index 2cc83849..be2740e0 100644 --- a/notes/commit-signing.md +++ b/notes/commit-signing.md @@ -98,31 +98,14 @@ GitHub's Verified badge is what upstream checks. ## Branches known to need re-signing -- `refs/pull/192/head` (`10e099b`): #192's three unsigned commits on PR 62's - reviewed head `efe1df1`. They are to replace the squash commit `e28e832` on - `upstream/glmgampoi-r` (owner's call, 2026-10-20); the tree is identical. - GitHub keeps a merged PR's head ref after its branch is deleted, so: - - ```sh - git fetch origin pull/192/head:pr62-next upstream/glmgampoi-r - git switch pr62-next - git merge-base --is-ancestor efe1df1 HEAD && - git rebase --exec 'git commit --amend --no-edit -S' efe1df1 - git log --format='%h %G? %s' efe1df1..HEAD # see the table above - git diff --stat origin/upstream/glmgampoi-r HEAD # expect no output - git push --force-with-lease=upstream/glmgampoi-r:e28e832fd52466f5192406025fe6b16d9fd99ae1 \ - origin pr62-next:upstream/glmgampoi-r - ``` - - The lease names `e28e832`, so the push is refused if anything else has - landed there since. - -## Superseded branches - -Kept for the record. Do not re-sign or push them. - -- `wip/pr62-theta` is superseded: #192 carried its theta commit on PR 62's - reviewed head `efe1df1`, and was squash-merged as `e28e832`. Its other two - commits are PR 62's, rebased onto upstream `78ffc2f` after review had - started, so it should not be pushed to `upstream/glmgampoi-r`. Kept, not - deleted. +None at present. + +## Record + +- Upstream PR 62 (glmGamPoi). The squash commit `e28e832` was replaced by + #192's three commits, fetched from `refs/pull/192/head` and re-signed. At + Joshua's request the five-commit stack was then rebased onto upstream + `ce2c645`. He merged it by fast-forward on 2026-10-22 (head `08eaa8c`) and + deleted `upstream/glmgampoi-r`. +- `wip/pr62-theta` was superseded by #192 and has since been deleted from this + fork. Its theta commit landed upstream as `6b96d36`.