The_Great_Archive/RSNewWebUI
1
0
Fork 0
mirror of https://github.com/RetroShare/RSNewWebUI.git synced 2026-09-12 11:40:06 +05:00
Code Issues Packages Projects Releases Wiki Activity

Fix GitLab mirror failing on GitHub PR refs

Browse Source 
The mirror workflow cloned with --mirror and pushed all refs, including GitHub's refs/pull/*, which GitLab rejects as hidden refs, failing the whole push. Clone --bare and push only refs/heads/* and refs/tags/* with --prune, keeping deletion sync while never touching PR refs.
This commit is contained in:
Gioacchino Mazzurco 2026-07-23 18:34:21 +02:00
parent a28d77fe9a
commit 198415c42e
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
.github/workflows/mirror-to-gitlab.yml vendored
View File

@ -24,7 +24,7 @@ jobs:
- name: Mirror repository to GitLab
run: |
git clone --mirror "https://github.com/${GITHUB_REPOSITORY}.git" repo.git
git clone --bare "https://github.com/${GITHUB_REPOSITORY}.git" repo.git
cd repo.git
git remote set-url --push origin git@gitlab.com:RetroShare/RetroShareWebUI.git
git push --mirror
git push --prune origin 'refs/heads/*:refs/heads/*' 'refs/tags/*:refs/tags/*'