From 2f187c69ab8fa603b241ab924c7af31098b149cd Mon Sep 17 00:00:00 2001
From: Andrea Bedini <andrea.bedini@tweag.io>
Date: Wed, 6 Nov 2024 11:38:17 +0800
Subject: [PATCH] Update mirror.yml

---
 .github/workflows/mirror.yml | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/mirror.yml b/.github/workflows/mirror.yml
index d4ed72071..6eee972fd 100644
--- a/.github/workflows/mirror.yml
+++ b/.github/workflows/mirror.yml
@@ -18,8 +18,6 @@ jobs:
 
     - name: Sync with source repository
       run: |
-        git remote add source https://github.com/IntersectMBO/cardano-haskell-packages.git
-        git fetch source
-        git reset --hard source/repo
-        git push origin repo
-
+        git fetch https://github.com/IntersectMBO/cardano-haskell-packages.git repo
+        git reset --hard FETCH_HEAD
+        git push --force-with-lease origin repo