Fetch some more history to be able to merge

Author: MonsieurBon

.github/workflows/publish.yml

@@ -44,8 +44,8 @@ jobs:
 
     - name: Merge back to develop
       run: |
-        git fetch --depth 2 origin develop
-        git checkout develop
-        git fetch --shallow-since="$(git show -s --format=%ci develop~1)" origin master develop
+        git fetch --depth 10 origin develop
+        git switch develop
+        git fetch --shallow-since="$(git show -s --format=%ci develop~2)" origin master develop
         git merge master --no-edit
         git push origin develop