Skip to content

Promote dev to main - #13

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

Promote dev to main#13
emmepra merged 2 commits into
mainfrom
dev

Conversation

@emmepra

@emmepra emmepra commented Apr 9, 2026

Copy link
Copy Markdown
Contributor

Summary

  • promote the cleaned dev state to main
  • carry the simplified public README and institution-first citation metadata onto the stable public branch

Scope

  • in scope:
    • branch promotion from dev to main
  • out of scope:
    • additional code changes
    • release 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:
    • none

Evidence

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

@emmepra
emmepra merged commit 459d3f6 into main Apr 9, 2026
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