Add the handle-new-mails GitHub Action

The idea is to take over the job of the "Mirror Git List to
GitGitGadget's PRs" Azure Pipeline over at
https://dev.azure.com/gitgitgadget/git/_build?definitionId=5.

This will obviously require a GitHub workflow, too, which is added in
gitgitgadget-workflows/gitgitgadget-workflows#1

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

Author: dscho

handle-new-mails/action.yml

@@ -0,0 +1,19 @@
+name: 'Handle new mails'
+description: 'Processes new mails on the Git mailing list'
+author: 'Johannes Schindelin'
+inputs:
+  pr-repo-token:
+    description: 'The access token to work on the repository that holds PRs and state'
+    required: true
+  upstream-repo-token:
+    description: 'The access token to work on PRs in the upstream repository'
+    required: true
+  test-repo-token:
+    description: 'The access token to work on PRs in the test repository'
+    required: true
+runs:
+  using: 'node20'
+  main: './index.js'
+branding:
+  icon: 'git-commit'
+  color: 'orange'

handle-new-mails/index.js

@@ -0,0 +1,12 @@
+async function run() {
+  const { CIHelper } = await import("../dist/index.js")
+
+  const ci = new CIHelper()
+
+  await ci.setupGitHubAction({
+    needsMailingListMirror: true,
+  })
+  await ci.handleNewMails()
+}
+
+run()