Skip to content
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 2 additions & 1 deletion CONTRIBUTING.md
Original file line number Diff line number Diff line change
Expand Up @@ -43,4 +43,5 @@ Use `GITHUB_TOKEN` or `GH_TOKEN` to avoid low GitHub API rate limits.

The `release` branch is reserved for Cloudflare production deployments. Only
IndopenSource organization members may update it, through a pull request from
`main` that passes CI.
`main` that passes CI. Merge production promotion pull requests with a merge
commit so `main` remains in the `release` history.
Comment on lines +46 to +47

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

P2 Badge Make this promotion a real merge commit

For this production promotion, the invariant documented here is not actually achieved: 800ec6f has only the single parent adc6f70, and the promoted main tip is still not an ancestor, so future mainrelease PRs will continue to include already-promoted changes instead of being clean promotions. Please redo this as an actual merge commit from main into release (or otherwise make main an ancestor) before relying on the release history.

Useful? React with 👍 / 👎.