Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
To prevent breaking the main branch after merging two PRs that passed CI but conflicted which each other, we should enable merge queue which should prevent this from ever happening. More info: https://docs.github.com/en/repositories/configuring-branches-and-merges-in-your-repository/configuring-pull-request-merges/managing-a-merge-queue Signed-off-by: André Martins <[email protected]>
- Loading branch information