MokoConsulting/MokoCassiopeia
1
1
Fork 0
Code Issues 2 Pull Requests Actions Packages Releases 1 Activity

Merge pull request #15 from mokoconsulting-tech/copilot/remove-dev-branch

Browse Source 
[WIP] Remove dev branch from repository
This commit was merged in pull request #15.
This commit is contained in:
Jonathan Miller
2026-01-03 15:56:49 -06:00
committed by GitHub
parent d85973e2d0 22ead38402
commit fdeda926f0
1 changed files with 1 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
.github/workflows/repo_health.yml vendored
View File

@@ -559,25 +559,17 @@ jobs:
git fetch origin --prune git fetch origin --prune
dev_paths=()
dev_branches=() dev_branches=()
# Look for remote branches matching origin/dev*. # Look for remote branches matching origin/dev*.
# A plain origin/dev is considered invalid; we require dev/<something> branches. # A plain origin/dev is prohibited; only dev/<something> branches are allowed.
while IFS= read -r b; do while IFS= read -r b; do
name="${b#origin/}" name="${b#origin/}"
if [ "${name}" = 'dev' ]; then if [ "${name}" = 'dev' ]; then
dev_branches+=("${name}") dev_branches+=("${name}")
else
dev_paths+=("${name}")
fi fi
done < <(git branch -r --list 'origin/dev*' | sed 's/^ *//') 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 a plain dev branch exists (origin/dev), flag it as invalid.
if [ "${#dev_branches[@]}" -gt 0 ]; then if [ "${#dev_branches[@]}" -gt 0 ]; then
missing_required+=("invalid branch dev (must be dev/<version>)") missing_required+=("invalid branch dev (must be dev/<version>)")