From 1aa5dee99226b2de93e1fa77f6b16ee8a0156a41 Mon Sep 17 00:00:00 2001 From: jochen Date: Sat, 7 Nov 2026 21:13:54 +0100 Subject: [PATCH] Record a merge through the merge gate so the new indexer reads this repository's seat definitions on its merge (issue 1966, the operator's bootstrap)