Files
Enrico Toniato f56d61db3b ci: use dedicated CLI mirror credential
Use the repository-scoped CLI mirror credential and verify the live synchronization after merge.
2026-09-09 11:57:25 +02:00

3.4 KiB