Gioacchino Mazzurco 086184ad21 Fix GitLab mirror failing on GitHub PR refs ... The mirror workflow cloned with --mirror and pushed all refs, including GitHub's refs/pull/* and upstream/pr/*, which GitLab rejects as hidden refs ("deny updating a hidden ref" on upstream/pr/3213), failing the whole push. Clone --bare and push only refs/heads/* and refs/tags/* with --prune, keeping deletion sync while never touching PR refs.		2026-07-23 18:10:46 +02:00
..
workflows	Fix GitLab mirror failing on GitHub PR refs	2026-07-23 18:10:46 +02:00