Public PR triage workflow

.github/workflows/pull_request.yml

@@ -0,0 +1,17 @@
+name: Pull Request
+on:
+  pull_request:
+    types: [ labeled ]
+
+jobs:
+  pr-triaged:
+    runs-on: ubuntu-latest
+    if: github.event.label.name == 'triaged'
+    steps:
+      - name: Repository Dispatch
+        uses: peter-evans/repository-dispatch@v4
+        with:
+          token: ${{ secrets.SBOXBOT_TOKEN }}
+          repository: Facepunch/sbox
+          event-type: pr-triaged
+          client-payload: '{"github": ${{ toJson(github) }}}'

engine/Tools/SboxBuild/Steps/SyncPublicRepo.cs

@@ -92,6 +92,7 @@ internal class SyncPublicRepo( string name, bool dryRun = false ) : Step( name )
 	{
 		{ "public/.gitignore", ".gitignore" },
 		{ "public/.gitattributes", ".gitattributes" },
+		{ "public/.github/workflows/pull_request.yml", ".github/workflows/pull_request.yml" },
 		{ "public/README.md", "README.md" },
 		{ "public/LICENSE.md", "LICENSE.md" },
 		{ "public/CONTRIBUTING.md", "CONTRIBUTING.md" },