From 4ca15f22930387838322e777e4d879ed655187e8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A1tvik=20Karanam?=
 <89281036+skara9@users.noreply.github.com>
Date: Thu, 13 Jul 2023 14:40:13 -0400
Subject: [PATCH] [Feature:Developer] Dispatch release updates to main repo
 (#53)

Adds workflow to update the main Submitty repository on release.
---
 .github/workflows/release.yml | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)
 create mode 100644 .github/workflows/release.yml

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
new file mode 100644
index 0000000..b503c92
--- /dev/null
+++ b/.github/workflows/release.yml
@@ -0,0 +1,23 @@
+name: Release
+
+on:
+  release:
+    types: [published]
+
+jobs:
+  dispatch-update:
+    name: Dispatch Update
+    runs-on: ubuntu-latest
+    steps:
+      - uses: Submitty/peter-evans-repository-dispatch
+        if: ${{ github.repository_owner == 'Submitty' }}
+        with:
+          event-type: repo-release
+          token: ${{ secrets.SUBMITTYBOT_DEPENDENCY_TOKEN }}
+          repository: ${{ github.repository_owner }}/Submitty
+          client-payload: '{
+              "repo_name": ${{ toJSON(github.event.repository.name) }},
+              "repo": ${{ toJSON(github.event.repository.full_name) }},
+              "tag": ${{ toJSON(github.event.release.tag_name) }}
+            }'
+