https://github.blog/changelog/2023-02-10-see-when-a-pull-request-is-editable-by-maintainers/

We look for a snippet just below the mergeability box, but now we have an official UI item for that.