ci: Move to merge queue #173
Description
Now that this repo is public, we can move to a merge queue to avoid time-of-merge vs time-of-branching discrepancies.
{{ message }}
Now that this repo is public, we can move to a merge queue to avoid time-of-merge vs time-of-branching discrepancies.