From c06cdcd5bbaa857fb6b427755eed57123a6184d8 Mon Sep 17 00:00:00 2001
From: Martin Kinkelin <mkinkelin@symmetryinvestments.com>
Date: Fri, 17 Jul 2026 20:26:53 +0200
Subject: [PATCH] CI: Fix update-dmd-rewrite workflow

The GHA Ubuntu 22 image apparently has a too recent git; we need
git v2.34 to get the correct/existing hashes for the rewritten commits.

So run in a vanilla Ubuntu 22 container instead.
---
 .github/workflows/update-dmd-rewrite.yml | 14 ++++++++------
 1 file changed, 8 insertions(+), 6 deletions(-)

diff --git a/.github/workflows/update-dmd-rewrite.yml b/.github/workflows/update-dmd-rewrite.yml
index a36b7b5c69..05c325947e 100644
--- a/.github/workflows/update-dmd-rewrite.yml
+++ b/.github/workflows/update-dmd-rewrite.yml
@@ -13,17 +13,19 @@ jobs:
   update-dmd-rewrite:
     name: Update DMD rewrite
     if: github.repository == 'ldc-developers/ldc'  # don't run for forks
-    runs-on: ubuntu-22.04
+    runs-on: ubuntu-latest
+    container:
+      image: ubuntu:22.04  # we need git v2.34 from vanilla Ubuntu 22.04
     timeout-minutes: 20
     steps:
+      - name: Install git v2.34 and git-filter-repo v2.34.0
+        run: |
+          set -eux
+          apt-get -q update
+          apt-get install -yq git git-filter-repo
       - uses: actions/checkout@v6
         with:
           submodules: false
-      - name: Install git-filter-repo v2.34.0
-        run: |
-          set -eux
-          sudo apt-get -q update
-          sudo apt-get install -yq git-filter-repo
       - run: tools/update-dmd-rewrite.sh
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}