From 96bf9415aae4fc83929c4c47c648e004359c8706 Mon Sep 17 00:00:00 2001 From: jochen Date: Wed, 7 Oct 2026 16:17:40 +0200 Subject: [PATCH] Ask the merge check for this pull request: opening it announced nothing to the build seat