Hi, all: I want to raise a discussion about enabling merge queue <https://docs.github.com/en/repositories/configuring-branches-and-merges-in-your-repository/configuring-pull-request-merges/managing-a-merge-queue> in iceberg related repositories.
In short, github merge queue improves efficiency of maintainers for repo with high velocity. When there are several prs ready for merging, instead of asking the author/maintainer to merge with the main branch manually before merging, it will put ready to merge prs to a queue, update them to the latest commit, and run all required checks one by one. When all checks passed, it will do the merge automatically. Looking forward to hearing your thoughts!
