external/peer/v1 pinned to peer aa7ccd8 by a commit URL (final review finding 16) #4

Merged
caoer115 merged 1 commit from agent/d7ac1736-peer-pin into main 2026-10-15 17:48:46 +00:00
Owner

The external lane fetched the unversioned published URL, which now serves peer v2. It now fetches docs/protocol.md at the pinned commit through the forge (clone PAT, peer is private); published stays as provenance. Local run: external-check rc 0 with the token, rc 2 without.

The external lane fetched the unversioned published URL, which now serves peer v2. It now fetches docs/protocol.md at the pinned commit through the forge (clone PAT, peer is private); published stays as provenance. Local run: external-check rc 0 with the token, rc 2 without.
external/peer/v1: pin the copy to peer aa7ccd8 by a commit URL, not the moving published URL
All checks were successful
ci/woodpecker/pr/woodpecker Pipeline was successful
ci/woodpecker/push/woodpecker Pipeline was successful
eec2a80b69
The published doc.md now serves peer v2 (310 diff lines), so the lane would
go red on a change UCC did not make, and that URL can no longer serve v1.
external-check fetches the source repo's file at the pinned commit (the
forge's raw/commit URL, with the clone PAT: peer is private) and refuses a
source URL that does not name its commit.
Sign in to join this conversation.
No reviewers
No labels
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
caoer115/contracts!4
No description provided.