Commit Graph

2 Commits

Author SHA1 Message Date
Gioacchino Mazzurco
198415c42e Fix GitLab mirror failing on GitHub PR refs
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.
2026-07-23 18:34:21 +02:00
Gioacchino Mazzurco
683dffcdb4 Add github workflow to automatically sync to gitlab.com repo 2026-06-14 14:38:10 +02:00