Skip to content

ci(gitlab-mirror): ignore some repos - #837

Merged
ReenigneArcher merged 1 commit into
masterfrom
ci/ignore-repos-for-gitlab-mirror
Aug 9, 2026
Merged

ci(gitlab-mirror): ignore some repos#837
ReenigneArcher merged 1 commit into
masterfrom
ci/ignore-repos-for-gitlab-mirror