From 22ead38402acd68fd16f7dff18dbd87fae8ca1d5 Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Sat, 3 Jan 2026 21:54:45 +0000 Subject: [PATCH] fix: remove requirement for dev/* branches in repo health check The repo health workflow previously required at least one dev/* branch to exist, which is too strict after the plain 'dev' branch was deleted. This change removes that requirement while keeping the validation that prohibits plain 'dev' branches. The workflow now: - Allows dev/* branches (e.g., dev/01.00.00) - Prohibits plain 'dev' branches - Does not require any dev/* branch to exist Co-authored-by: jmiller-moko <230051081+jmiller-moko@users.noreply.github.com> --- .github/workflows/repo_health.yml | 10 +--------- 1 file changed, 1 insertion(+), 9 deletions(-) diff --git a/.github/workflows/repo_health.yml b/.github/workflows/repo_health.yml index afa836c..91ddd52 100644 --- a/.github/workflows/repo_health.yml +++ b/.github/workflows/repo_health.yml @@ -559,25 +559,17 @@ jobs: git fetch origin --prune - dev_paths=() dev_branches=() # Look for remote branches matching origin/dev*. - # A plain origin/dev is considered invalid; we require dev/ branches. + # A plain origin/dev is prohibited; only dev/ branches are allowed. while IFS= read -r b; do name="${b#origin/}" if [ "${name}" = 'dev' ]; then dev_branches+=("${name}") - else - dev_paths+=("${name}") fi done < <(git branch -r --list 'origin/dev*' | sed 's/^ *//') - # If there are no dev/* branches, fail the guardrail. - if [ "${#dev_paths[@]}" -eq 0 ]; then - missing_required+=("dev/* branch (e.g. dev/01.00.00)") - fi - # If a plain dev branch exists (origin/dev), flag it as invalid. if [ "${#dev_branches[@]}" -gt 0 ]; then missing_required+=("invalid branch dev (must be dev/)")