fix: improve how we detect that the PR is managed by Mergify#37

Merged

mergify[bot] merged 1 commit intomainfrom devs/DouglasBlackwood/fix-pydantic/I6b2ee9af80034951559d935af85704df70972931

Jan 21, 2025

+1-1

Commits on Jan 21, 2025

fix: improve how we detect that the PR is managed by Mergify
DouglasBlackwood
committed