From 45d143192b3667f6414299a6e58db13d83775122 Mon Sep 17 00:00:00 2001 From: jochen Date: Sat, 7 Nov 2026 21:13:58 +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)