pushing remotes/origin

Author: timbastin

.github/workflows/mirror-to-gitlab.yml

@@ -18,11 +18,11 @@ jobs:
           persist-credentials: false
 
       - name: Mirror to GitLab
-        continue-on-error: true
         run: |
           git remote add gitlab "https://oauth2:${GITLAB_TOKEN}@${GITLAB_HOST}/${GITLAB_REPO}.git"
           # Avoid --mirror, which also pushes refs/remotes/* that GitLab rejects as hidden refs.
-          git push --prune gitlab 'refs/heads/*:refs/heads/*'
+          # Push from refs/remotes/origin/* so all branches are present and --prune never deletes the default branch.
+          git push --prune gitlab 'refs/remotes/origin/*:refs/heads/*'
           git push --prune gitlab 'refs/tags/*:refs/tags/*'
         env:
           GITLAB_TOKEN: ${{ secrets.GITLAB_MIRROR_TOKEN }}