[WIP] Remove dev branch from repository #15

Merged

Copilot merged 2 commits from copilot/remove-dev-branch into main

2026-01-03 21:56:50 +00:00

Author	SHA1	Message	Date
copilot-swe-agent[bot]	22ead38402	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>	2026-01-03 21:54:45 +00:00
copilot-swe-agent[bot]	00f794b3f6	Initial plan	2026-01-03 21:50:41 +00:00

Author

SHA1

Message

Date

copilot-swe-agent[bot]

22ead38402

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>

2026-01-03 21:54:45 +00:00

copilot-swe-agent[bot]

00f794b3f6

Initial plan

2026-01-03 21:50:41 +00:00

[WIP] Remove dev branch from repository #15

2 Commits