checkout, but preserve local changes

island-is · Jan 9, 2025 · 9121da3 · 9121da3
1 parent 3c83eff
commit 9121da3
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/pullrequest.yml b/.github/workflows/pullrequest.yml
@@ -70,9 +70,9 @@ jobs:
           set -euo pipefail
           set -x
 
-          git checkout -f "$GITHUB_HEAD_REF"
-          git checkout -f "$GITHUB_BASE_REF"
-          git checkout -f "$GITHUB_SHA"
+          git checkout -m "$GITHUB_HEAD_REF"
+          git checkout -m "$GITHUB_BASE_REF"
+          git checkout -m "$GITHUB_SHA"
           git config --global user.email "[email protected]"
           git config --global user.name "CI Bot"