From 9f0dbc78acd66dcae11d76e1696dfe539cf9b865 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Philip=20J=C3=A4genstedt?= <philip@foolip.org>
Date: Wed, 17 Jun 2020 14:17:53 +0200
Subject: [PATCH] Add a repository_dispatch hook for whatwg/sg updates

This is half of the solution, in addition the sg repository will need to
trigger the event:
https://developer.github.com/v3/repos/#create-a-repository-dispatch-event

Part of https://github.com/whatwg/sg/issues/110.
---
 .github/workflows/build.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 07ebdbc32..eefb0d079 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -6,6 +6,10 @@ on:
   push:
     branches:
     - master
+  # Trigger for changes in the whatwg/sg repo.
+  repository_dispatch:
+    types:
+    - sg
 jobs:
   build:
     name: Build