triggerWorkflowDispatch: fall back to getting an installation access token

When a `workflow_dispatch` should be triggered, we require a token. If
no token was specified (i.e. if `undefined` was passed for the `token`
parameter), let's just automatically get an installation access token
for the GitHub App.

Signed-off-by: Johannes Schindelin <[email protected]>

Author: dscho

GitGitGadget/trigger-workflow-dispatch.js

@@ -36,6 +36,14 @@ const waitForWorkflowRun = async (context, token, owner, repo, workflow_id, afte
 }
 
 const triggerWorkflowDispatch = async (context, token, owner, repo, workflow_id, ref, inputs) => {
+    if (token === undefined) {
+        const { getInstallationIdForRepo } = require('./get-installation-id-for-repo')
+        const installationID = await getInstallationIdForRepo(context, owner, repo)
+
+        const { getInstallationAccessToken } = require('./get-installation-access-token')
+        token = await getInstallationAccessToken(context, installationID)
+    }
+
     const { headers: { date } } = await gitHubAPIRequest(
         context,
         token,