Please don't merge from `main` into your PR's branch unless you have a merge conflict or have a specific reason to do so.
Doing so consumes CI systems unnecessarily, and also resets CI approvals if this is your first PR to the repo.
This repo uses GitHub's Merge Queue, which will automatically test your PR against `main` before merging, so it's no longer necessary to always keep branches up-to-date.