Skip to content

Promote dev to main - #11

Merged
emmepra merged 15 commits into
mainfrom
dev
Apr 9, 2026
Merged

Promote dev to main#11
emmepra merged 15 commits into
mainfrom
dev

Conversation

@emmepra

@emmepra emmepra commented Apr 9, 2026

Copy link
Copy Markdown
Contributor

Summary

  • promote the current integrated dev state to main
  • make the public default branch and release branch model consistent with repository documentation
  • carry the software citation, DOI badge, and README updates onto the stable public branch

Scope

  • in scope:
    • branch promotion from dev to main
  • out of scope:
    • additional code changes
    • release automation changes

Validation

  • relevant tests/checks were run
  • Docker/runtime validation was run when the change touched backend, orchestration, templates, or integration paths
  • docs/rules were updated when behavior, contracts, or workflow changed

Commands run:

git fetch origin

Risks

  • user-visible regressions:
    • main will move forward to match dev
  • operational/runtime risks:
    • low; this is a branch promotion of already integrated work
  • follow-up work:
    • switch the GitHub default branch to main

Evidence

  • logs: branch sync and merged PR history on dev
  • screenshots: none
  • related issues: none

@emmepra
emmepra merged commit 6d2be6e into main Apr 9, 2026
3 of 4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant