fix releasing bug

ist-dresden · Dec 5, 2023 · c514386 · c514386
1 parent 0dffdce
commit c514386
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/createerelease.yml b/.github/workflows/createerelease.yml
@@ -210,6 +210,7 @@ jobs:
     - name: Set master to the release tag
       if: ${{ github.event.inputs.dryrun == 'false' }}
       run: |
+        git fetch --depth=3 origin master
         git checkout master
         git reset --hard $releasetag
         git push -v