(ci/github): Add merge job

genoswitch · Oct 12, 2023 · c75ca30 · c75ca30
1 parent 24f1a08
commit c75ca30
Showing 1 changed file with 19 additions and 0 deletions.
diff --git a/.github/workflows/mirror.yml b/.github/workflows/mirror.yml
@@ -0,0 +1,19 @@
+name: Mirror
+
+on: ["push", "delete"]
+
+jobs:
+  merge:
+    name: Merge
+    if: github.ref == 'refs/heads/main'
+
+    runs-on: ubuntu-latest
+
+    steps:
+      - name: Trigger Repository Dispatch
+        uses: peter-evans/repository-dispatch@v2
+        with:
+          token: ${{ secrets.MERGE_PAT }}
+          repository: genoswitch/software-judging
+          event-type: merge_repo
+          client-payload: '{"job": "merge-v2", "repo": "webdfu", "branch": "main", "path": "hardware/webdfu"}'