diff --git a/.gitea/workflows/mirror-to-github.yml b/.gitea/workflows/mirror-to-github.yml index 1c355a7a..d539080f 100644 --- a/.gitea/workflows/mirror-to-github.yml +++ b/.gitea/workflows/mirror-to-github.yml @@ -15,4 +15,8 @@ jobs: git clone --mirror https://gitea.resolutionflow.com/chihlasm/resolutionflow.git repo cd repo git remote add github https://x-access-token:${{ secrets.GH_MIRROR_TOKEN }}@github.com/${{ secrets.GH_MIRROR_REPO }} - git push github --mirror \ No newline at end of file + # --all + --tags scopes the push to refs/heads/* and refs/tags/*, + # avoiding refs/pull/* (which GitHub refuses with "deny updating a + # hidden ref"). --prune makes deletions on the Gitea side propagate. + git push github --all --prune --force + git push github --tags --prune --force \ No newline at end of file