Hello All, Please note that quash and merge has been disabled in the GitHub UI (PR-372), to ensure that the committer's name is correctly represented in the commit message.
Consequently, it is important that PR authors squash all commits before the PR is approved and merged into main. Failing to do so can result in noisy and confusing updates on the trunk. Recently, I misunderstood this and ended up creating 17 commits on the trunk originating in PR-352 that fixies the project name in the docs and website pages. Commits on main cannot be reverted, main branch is protected and force push is disabled on github and on gitbox. All committers and reviewers must enforce this requirement. Let's discuss this further on Monday (first community sync meeting at 8AM PST, March 11 2024). Best, Ashvin
