Merge pull request #801 from mkurz/mergify_central

Use the mergify config from the .github repo
playframework · Oct 14, 2022 · 385413e · 385413e
2 parents 582c2b6 + b21a975
commit 385413e
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 39 deletions.
diff --git a/.github/mergify.yml b/.github/mergify.yml
@@ -0,0 +1 @@
+extends: .github
diff --git a/.mergify.yml b/.mergify.yml