From 0d71d8b56c55effc73dc813389268794b876a5f4 Mon Sep 17 00:00:00 2001
From: jochen <jschoubben@gmail.com>
Date: Thu, 29 Oct 2026 18:10:27 +0100
Subject: [PATCH] Move the head so the checker takes #558 again: a reopened
 pull request is not taken back as a candidate (recovery of de-spiegel,
 operator's yes 2026-10-29 17:56 CET)