Sync Mergify settings between all repositories

.github/sync.yml

@@ -0,0 +1,34 @@
+# More details in https://github.com/marketplace/actions/repo-file-sync-action
+group:
+  # Mergify settings
+  - files:
+      - .mergify.yml
+    repos: |
+      playframework/cachecontrol
+      playframework/interplay
+      playframework/omnidoc
+      playframework/play-doc
+      playframework/play-ebean
+      playframework/play-file-watch
+      playframework/play-grpc
+      playframework/play-java-seed.g8
+      playframework/play-json
+      playframework/play-mailer
+      playframework/play-samples
+      playframework/play-scala-seed.g8
+      playframework/play-slick
+      playframework/play-soap
+      playframework/play-socket.io
+      playframework/play-webgoat
+      playframework/play-ws
+      playframework/playframework
+      playframework/playframework.com
+      playframework/scalatestplus-play
+      playframework/twirl
+#      playframework/anorm
+#      playframework/netty-reactive-streams
+#      playframework/play-java-react-seed
+#      playframework/play-scala-react-seed
+#      playframework/play-java-angular-seed
+#      playframework/play-scala-angular-seed
+

.github/workflows/sync.yml

@@ -0,0 +1,15 @@
+name: Sync Files
+on:
+  push:
+    branches:
+      - main
+jobs:
+  sync:
+    runs-on: ubuntu-20.04
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v3
+      - name: Run GitHub File Sync
+        uses: BetaHuhn/repo-file-sync-action@v1
+        with:
+          GH_PAT: ${{ secrets.GH_REPO_TOKEN }}

.mergify.yml

@@ -0,0 +1,39 @@
+defaults:
+  actions:
+    backport:
+      title: "[{{ destination_branch }}] {{ title }} (backport #{{ number }}) by @{{ author }}"
+
+queue_rules:
+  - name: default
+    conditions:
+      # Conditions to get out of the queue (= merged)
+      - check-success~=/ Ready To Merge$
+
+pull_request_rules:
+  - name: Merge PRs that are ready
+    conditions:
+      - check-success~=/ Ready To Merge$
+      - "#approved-reviews-by>=1"
+      - "#review-requested=0"
+      - "#changes-requested-reviews-by=0"
+      - label!=status:block-merge
+      - label=status:merge-when-green
+    actions:
+      queue:
+        method: merge
+        name: default
+
+  - name: Delete the PR branch and remove label after merge
+    conditions:
+      - merged
+    actions:
+      delete_head_branch: {}
+      label:
+        remove: [ "status:merge-when-green" ]
+
+  - name: Labeling for Scala Steward PR's
+    conditions:
+      - author=scala-steward
+    actions:
+      label:
+        add: [ "type:updates" ]