Install git-filter-repo via wget method

internal-recaptime-dev · Jan 12, 2025 · 1b749f8 · 1b749f8
1 parent a183482
commit 1b749f8
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/repo-sync.yaml b/.github/workflows/repo-sync.yaml
@@ -26,7 +26,8 @@ jobs:
         run: |
           git config user.name RecapTimeBot
           git config user.email service-accounts+github@crew.recaptime.dev
-          sudo apt update && sudo apt install git-filter-repo -y
+          sudo wget https://raw.githubusercontent.com/newren/git-filter-repo/main/git-filter-repo -O /usr/bin/git-filter-repo
+          sudo chmod +x /usr/bin/git-filter-repo
       - name: Dry-run
         run: |
           echo ::group::Running a dry-run of git filter-repo