Name the migration repository in the map, so nobody has to be told it exists #99

Merged
jschoubben merged 1 commits from meta/name-the-migration-repository into main 2026-09-24 00:02:08 +00:00
1 Commits
Author SHA1 Message Date
jschoubben 545d038198 Name the migration repository in the map, so nobody has to be told it exists
hq cannot hold the migration's operational record — it names machines, addresses and
paths, and this repository is public — but it can say where that record is, which is what
this map is for. Asked for by the operator, who had to be told.
2026-09-24 02:01:41 +02:00