Would it be possible to get a summary of the current state of the discussion? In addition to the ongoing patchset to enable setting a different default initial branch name: 1) Are the git maintainers still considering renaming the initial default branch to something else? 2) If yes, is there consensus among the maintainers on the name 'main'? 3) If yes, how will this change be rolled out? Will the change be delayed to align with a breaking release? 4) Are the maintainers waiting for more discussion or input from the community? Are there voices you feel are yet to be heard?