From 683c01ec7d4047e6c75185b537819a302456f6a8 Mon Sep 17 00:00:00 2001
From: Kit OC5 <kit5@thewindstorm.uk>
Date: Wed, 23 Sep 2026 17:22:17 -0400
Subject: [PATCH] rerun_ci: Gitea stores repos lowercased on disk (WindyCloud
 failed)

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
---
 scripts/rerun_ci.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/scripts/rerun_ci.sh b/scripts/rerun_ci.sh
index 4d4f21b..8b4ee36 100755
--- a/scripts/rerun_ci.sh
+++ b/scripts/rerun_ci.sh
@@ -16,7 +16,8 @@
 # itself, so Windy Git is never left behind GitHub.
 set -euo pipefail
 repo="${1:?repo}"; branch="${2:?branch}"; want="${3:?sha prefix}"
-G="sudo docker exec -u git windy-git-gitea-1 git -C /data/git/repositories/windyadmin/${repo}.git"
+# Gitea stores repositories LOWERCASED on disk (WindyCloud -> windycloud.git).
+G="sudo docker exec -u git windy-git-gitea-1 git -C /data/git/repositories/windyadmin/${repo,,}.git"
 
 head=$($G rev-parse "refs/heads/${branch}")
 [[ "$head" == "$want"* ]] || { echo "refusing: ${branch} is at ${head:0:7}, not ${want}"; exit 1; }