diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml
index 3cf9f82679..a8b2d99a46 100644
--- 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: