Fetch a Go pin only a pull request carries from its pull head, so a group member pinning its mesh-sdk head builds (issue 1148) #445

Merged

mesh-tools merged 3 commits from fix/1148-pull-head-pins into main

2026-10-22 14:40:56 +00:00

Author	SHA1	Message	Date
jschoubben	555ed4963a	Read the pinned placement at its new path in the pin integration test (issue 1148) mesh/check failed: unit: modules/gitea.test: [gitea] where the poll of merges last looked from could not be read, so none is kept — no runtime \| 555ed… mesh/merge-gate head 555ed4963a8a merged into trunk 77578a882f8a — pass: builds mesh-build-go → ace, g14, novox, shanks; no bus step; every machine compose… Details mesh/repo-check head 555ed4963a8a merged into trunk 77578a882f8a — pass: its merge-check.sh passed, each part in its toolchain: merge-check.sh (go), merge-… Details mesh/delivery delivered Details	2026-10-22 16:29:37 +02:00
jschoubben	2d8c8f6d75	Share one placement per repository and commit for pins on pull heads; say a pin is on no pull request head and what go said (issue 1148)	2026-10-22 16:24:18 +02:00
jschoubben	9194e15072	Fetch a Go pin on a pull request's head: place it beside the workspace and hand it to Go by a modfile replace (issue 1148)	2026-10-22 16:19:23 +02:00