Adding gitspiegel-trigger workflow (#781)

* Adding gitspiegel-trigger workflow Using a workflow to trigger mirroring instead of a webhook allows us to reuse "Approving workflow runs from public forks" GitHub feature to somewhat protect us from malicious PRs * Update gitspiegel-trigger.yml --------- Co-authored-by: Robin Freyler <[email protected]>
wasmi-labs · Nov 9, 2023 · b7a3ef4 · b7a3ef4
1 parent 6568880
commit b7a3ef4
Showing 1 changed file with 22 additions and 0 deletions.
diff --git a/.github/workflows/gitspiegel-trigger.yml b/.github/workflows/gitspiegel-trigger.yml
@@ -0,0 +1,22 @@
+name: gitspiegel sync
+
+# This workflow doesn't do anything, it's only use is to trigger "workflow_run"
+# webhook, that'll be consumed by gitspiegel
+# This way, gitspiegel won't do mirroring, unless this workflow runs,
+# and running the workflow is protected by GitHub
+
+on:
+  pull_request:
+    types:
+      - opened
+      - synchronize
+      - unlocked
+      - ready_for_review
+      - reopened
+
+jobs:
+  sync:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Do nothing
+        run: echo "let's go"