Use the mergify config from the .github repo#703

Merged

mkurz merged 1 commit intoplayframework:mainfrom mkurz:mergify_central

Oct 14, 2022

+1-39

Commits on Oct 14, 2022

Use the mergify config from the .github repo
mkurz
committed