Go to file
Gioacchino Mazzurco a83357ed03 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:16 +02:00
.github/workflows Fix GitLab mirror failing on GitHub PR refs 2026-07-23 18:34:16 +02:00
.reuse Furter cleanup after OpenPGP-SDK split 2022-01-11 12:25:50 +01:00
LICENSES Improve license according to REUSE 3.0 2019-12-18 17:57:20 +01:00
src Make code compatible with C23 2025-05-10 18:02:57 +02:00
CMakeLists.txt Fix G10h4ck contributions copyright attribution 2026-06-14 16:08:51 +02:00
COPYING Add COPYING 2020-04-01 16:35:22 +02:00