Add "repository_dispatch" workflow trigger

Author: ehrenfeu

.github/workflows/deploy-pages.yml

@@ -1,13 +1,18 @@
 name: Deploy 🚚 IMCF 🔬 pages and API docs
 
 on:
-  # Run on pushes targeting the default branch
+  # Run on pushes targeting the default branch.
   push:
     branches: ["main"]
 
-  # Allowto run this workflow manually from the Actions tab
+  # Allow to run this workflow manually from the Actions tab.
   workflow_dispatch:
 
+  # Listen to dispatch events through the GitHub API. Can be used to trigger
+  # this workflow from other repositories / actions.
+  repository_dispatch:
+    types: [deploy-pages]
+
 # Set permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
 permissions:
   contents: read