Update pull-config.yml

shawntanzk · Oct 6, 2021 · 1a8d64d · 1a8d64d
1 parent 3458e1f
commit 1a8d64d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/pull-config.yml b/.github/workflows/pull-config.yml
@@ -2,6 +2,7 @@
 name: Pull config on ontotools-preprod server
 
 on:
+  workflow_dispatch:
   push:
     branches:
       - prod