merge queue

[msaroufim]

We've often been in situations where we update master to merge a PR and when there's a lot of PRs to be merged before a release, we end up having to wait to manually click update PR and then manually click merge, This automates it https://docs.github.com/en/repositories/configuring-branches-and-merges-in-your-repository/configuring-pull-request-merges/managing-a-merge-queue

Not merging as is I wanna see if the "push to queue" button renders correctly

It works here so gonna merge

[codecov]

Codecov Report

Merging #2548 (8a9a1a5) into master (5c0adc6) will not change coverage.
The diff coverage is n/a.

❗ Current head 8a9a1a5 differs from pull request most recent head a9730d2. Consider uploading reports for the commit a9730d2 to get more accurate results

@@           Coverage Diff           @@
##           master    #2548   +/-   ##
=======================================
  Coverage   72.64%   72.64%           
=======================================
  Files          79       79           
  Lines        3733     3733           
  Branches       58       58           
=======================================
  Hits         2712     2712           
  Misses       1017     1017           
  Partials        4        4           

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more