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

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

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