Enable Merge Queue for Efficient PR Management

[Rustin170506]

Summary

We should enable the Merge Queue feature in our GitHub repository to streamline the merging process for pull requests. This will help us to avoid updating PR's branch manually at all.

Benefits

• Organized Merging: PRs will be queued and merged sequentially, reducing integration issues.
• Automated Checks: Ensures all PRs pass the required branch protection checks.

Required Changes

1. Update GitHub Actions:

   • Modify existing GitHub Actions workflows to support merge queue integration if necessary.
   • Ensure all required status checks are defined in the workflows.

2. Enable Merge Queue:

   • Go to the repository settings.
   • Navigate to the "Branches" section.
   • Enable the "Merge Queue" option.

Action Items

• Discuss and agree on enabling the Merge Queue.
• Update GitHub Actions workflows.

Additional Information

For more details on managing a merge queue, please refer to the official GitHub documentation.

[Rustin170506]

cc: @hds @hawkw What are your thoughts on this? If it sounds good, I’d be happy to assist with updating our GitHub Actions.

[Rustin170506]

It works well on most of the rust-lang projects. So I guess we can adopt it as well to reduce the burden of keeping the branch updated.