diff --git a/.github/scripts/ci-health-check.sh b/.github/scripts/ci-health-check.sh index 988b8fc..bdc9a17 100755 --- a/.github/scripts/ci-health-check.sh +++ b/.github/scripts/ci-health-check.sh @@ -44,6 +44,9 @@ if [ ${#PLUGIN_REPOS[@]} -eq 0 ]; then PLUGIN_REPOS=("${PLUGIN_REPOS_FALLBACK[@]}") fi +# Private repos not visible to dynamic discovery +PLUGIN_REPOS+=("infra") + echo "=== CI/CD Health Check — $(date -u '+%Y-%m-%d %H:%M UTC') ===" echo ""