Skip to content

Promote development to main (branch strategy + tip sync) - #8

Merged
robertbetts merged 2 commits into
mainfrom
development
Aug 11, 2026
Merged

robertbetts merged 2 commits into
mainfrom
development

Conversation

@robertbetts

Copy link
Copy Markdown
Contributor

Summary

Test plan

  • CI green on this PR
  • Merge into main

Made with Cursor

robertbetts and others added 2 commits August 11, 2026 20:38
Spell out PR targets, CI gates, and prohibitions so contributor flow matches GitHub rulesets.

Co-authored-by: Cursor <cursoragent@cursor.com>
Document and enforce feature → development → main
@robertbetts
robertbetts merged commit dbe86bd into main Aug 11, 2026
12 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