From 24177aa654ab6b2b4b3daa61dd8e7a79b5a1266d Mon Sep 17 00:00:00 2001
From: jochen <jschoubben@gmail.com>
Date: Mon, 19 Oct 2026 18:19:34 +0200
Subject: [PATCH] Ask this pull request's check again: its check could not be
 asked (issue 1272) and a recheck from proposed is refused (issue 1274); no
 code change