readds prune flag

Author: timbastin

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

@@ -21,8 +21,8 @@ jobs:
         continue-on-error: true
         run: |
           git remote add gitlab "https://oauth2:${GITLAB_TOKEN}@${GITLAB_HOST}/${GITLAB_REPO}.git"
-          git push gitlab 'refs/heads/*:refs/heads/*'
-          git push gitlab 'refs/tags/*:refs/tags/*'
+          git push --prune gitlab 'refs/heads/*:refs/heads/*'
+          git push --prune gitlab 'refs/tags/*:refs/tags/*'
         env:
           GITLAB_TOKEN: ${{ secrets.GITLAB_MIRROR_TOKEN }}
           GITLAB_HOST: ${{ vars.GITLAB_HOST }}