On 8/16/2025 2:39 AM, Mick wrote:
The important thing to know (but maybe not mention), which is on the “how to
commit” page, is that the GitHub PRs aren’t merged directly on GitHub, they’re
committed manually on the upstream git repo branch by branch with an annotation
to auto close them downstream on GitHub
And GitHub are not a requirement either.
Contributors are free to submit patches as any of the following:
- GH PRs
- GH fork+branches
- patch files attached to the jira ticket
Thanks all: appreciate folks pointing out the nuances. I'll make a pass
to clarify the options for contributors, and take a light hand on the
committer workflow on that page.
Thanks -- Joel.
