From 138930e988d45d7820ca2718eeaa5ea7a4ea9e92 Mon Sep 17 00:00:00 2001
From: Max Peintner <peintnerm@gmail.com>
Date: Tue, 22 Jul 2025 11:42:48 +0200
Subject: [PATCH] chore: trigger GitHub PR refresh