The review guideline states that we can only have 1 commit per PR.
Why can’t we just do a squash merging instead?
The primary branch will only show a single commit per merged PR, and we don’t need to bother squashing our commits on each PR.
Github has the option to create git message based on PR title and description too, I think that can make the process even better.
We don’t use squash and merge on the main Godot repository because we want to keep the merge history visible in the commit log. I would personally be OK with moving to flat history (all my personal projects work this way), but this opinion isn’t shared across all maintainers.
However, we are less strict on auxiliary repositories like godot-docs, so using squash and merge there is fine.
Thanks for the insight!