Allow manually triggered publishes (#2788)

CountBleck · web-flow · commit 6eb69a870c34 · 2023-11-09T10:22:36.000-08:00
diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml
@@ -1,5 +1,8 @@
 name: Publish
 on:
+  # Note that the main branch will be used regardless of the branch chosen
+  # in the web interface.
+  workflow_dispatch:
   schedule:
   - cron: '0 0 * * *'
 jobs:
