PR Feedback

.github/workflows/build-test.yml

@@ -3,8 +3,9 @@ name: Check
 on:
   pull_request:
 
-  schedule:
-    - cron: "0 4 * * *" # Nightly build (@daily)
+  push:
+    branches:
+      - main # Check main branch after merge
 
 concurrency:
   # Only run once for latest commit per ref and cancel other (previous) runs.
@@ -46,4 +47,4 @@ jobs:
     name: Finish
     needs: # Should be last
       - "tests"
-    uses: playframework/.github/.github/workflows/rtm.yml@v1
+    uses: playframework/.github/.github/workflows/rtm.yml@v1

.github/workflows/publish.yml

@@ -2,6 +2,8 @@ name: Publish
 
 on:
   push:
+    branches: # Snapshots
+      - main
     tags: ["*"] # Releases
 
 jobs:
@@ -12,4 +14,4 @@ jobs:
       username: ${{ secrets.SONATYPE_USERNAME }}
       password: ${{ secrets.SONATYPE_PASSWORD }}
       pgp_passphrase: ${{ secrets.PGP_PASSPHRASE }}
-      pgp_secret: ${{ secrets.PGP_SECRET }}
+      pgp_secret: ${{ secrets.PGP_SECRET }}

.mergify.yml

@@ -1,3 +1,8 @@
+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
@@ -10,11 +15,14 @@ pull_request_rules:
       - label!=status:block-merge
       - label=status:merge-when-green
     actions:
-      merge:
+      queue:
         method: merge
-
+        name: default
+
   - name: Delete the PR branch after merge
     conditions:
       - merged
     actions:
       delete_head_branch: {}
+      label:
+        remove: [ "status:merge-when-green" ]