4 Commits

Author	SHA1	Message	Date
Gioacchino Mazzurco	038079aadf	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 19:08:43 +02:00
Gioacchino Mazzurco	cafaaa1964	Add github workflow to automatically sync to gitlab.com repo	2026-06-14 14:30:05 +02:00
defnax	06b8cf923a	renaming	2025-11-24 21:15:11 +01:00
defnax	19f4e13aa7	Added workflow	2025-11-24 21:12:07 +01:00