As discussed in the ODM today, we are going to follow LLVM’s policy of requiring GitHub pull requests for all commits to the main branch. Relevant discussions:
This reverts a longstanding policy of granting contributors direct commit access to main, but in the ODM no one had objections to this change. I am broadcasting here that we are going ahead with this to stay ahead of LLVM policy, which is currently planning to enforce this upstream by the end of March 2026.
The change is being implemented in the CIRCT project settings here:
I have enabled “Require a pull request before merging”, without selecting any of the follow up options. Neither approvals nor CI are required, and you are free to script the entire process of sending a pull request and immediately merging it, like was suggested for upstream LLVM here. Unlike upstream LLVM, we are not giving anyone the ability to bypass this rule initially; it is going into effect immediately.