From d9c47fb58bf683813cf08aa1edf08914d645fd0a Mon Sep 17 00:00:00 2001
From: Hynek Schlawack <hs@ox.cx>
Date: Mon, 20 Jul 2020 10:10:55 +0200
Subject: [PATCH] Add workflow dispatch

https://github.blog/changelog/2020-07-06-github-actions-manual-triggers-with-workflow_dispatch/
---
 .github/workflows/main.yml | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 1cea4c8d..1bbcc16d 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -6,9 +6,7 @@ on:
     branches: ["master"]
   pull_request:
     branches: ["master"]
-  # Allow rebuilds via API.
-  repository_dispatch:
-    types: rebuild
+  workflow_dispatch:
 
 jobs:
   tests: