gitgitgadget · dscho · Aug 31, 2025 · Sep 8, 2025 · Sep 8, 2025 · Aug 31, 2025
diff --git a/.github/workflows/push-github-actions.yml b/.github/workflows/push-github-actions.yml
@@ -66,7 +66,7 @@ jobs:
             # Now, add the generated files
             git add -A dist/ &&
             # Remove the rest
-            git rm -r -- \* ':(exclude)dist/' ':(exclude)*/action.yml' ':(exclude)*/index.js' &&
+            git rm -r -- \* ':(exclude)dist/' ':(exclude)*/action.yml' ':(exclude)*/index.js' ':(exclude)*/post.js' &&
 
             # Now make that fake merge commit
             tree=$(git write-tree) &&

diff --git a/.vscode/settings.json b/.vscode/settings.json
@@ -83,6 +83,7 @@
         "tbdiff",
         "Thái",
         "Truthy",
+        "typia",
         "unportable",
         "vger",
         "VSTS",

diff --git a/check-run/action.yml b/check-run/action.yml
@@ -0,0 +1,53 @@
+name: 'Create or update a Check Run'
+description: 'Mirrors a workflow run to a Check Run of a Pull Request in a different repository'
+author: 'Johannes Schindelin'
+inputs:
+  config:
+    description: 'The GitGitGadget configuration to use (see https://github.com/gitgitgadget/gitgitgadget/blob/HEAD/lib/project-config.ts)'
+    default: '' # sadly, ${{ vars.CONFIG }} does not work, and documentation about what contexts are permissible here is sorely missing
+  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: false
+  test-repo-token:
+    description: 'The access token to work on PRs in the test repository'
+    required: false
+  pr-url:
+    description: 'The URL of the Pull Request (or Pull Request comment)'
+    required: false
+  check-run-id:
+    description: 'The Check Run to update (if empty, a new one will be created)'
+    default: ''
+  name:
+    description: 'The name of the CheckRun (required if check-run-id is empty)'
+    default: ''
+  title:
+    description: 'The Check Run title (required when creating a new one)'
+    default: ''
+  summary:
+    description: 'The Check Run summary (required when creating a new one)'
+    default: ''
+  text:
+    description: 'The Check Run text (required when creating a new one)'
+    default: ''
+  details-url:
+    description: 'The details URL of the Check Run (required when creating a new one)'
+    default: '${{ github.server_url }}/${{ github.repository }}/actions/runs/${{ github.run_id }}'
+  conclusion:
+    description: 'If set, the Check Run will be marked as completed'
+    default: ''
+  job-status:
+    description: 'Needed at the end of the job'
+    default: ${{ job.status }}
+outputs:
+  check-run-id:
+    description: 'The ID of the created or updated Check Run'
+runs:
+  using: 'node20'
+  main: './index.js'
+  post: './post.js'
+branding:
+  icon: 'git-commit'
+  color: 'orange'
diff --git a/check-run/index.js b/check-run/index.js
@@ -0,0 +1,13 @@
+async function run() {
+  const { CIHelper } = await import("../dist/index.js")
+
+  try {
+    const ci = new CIHelper()
+    ci.setupGitHubAction({ createOrUpdateCheckRun: true })
+  } catch (e) {
+    console.error(e)
+    process.exitCode = 1
+  }
+}
+
+run()
diff --git a/check-run/post.js b/check-run/post.js
@@ -0,0 +1,13 @@
+async function run() {
+  const { CIHelper } = await import("../dist/index.js")
+
+  try {
+    const ci = new CIHelper()
+    ci.setupGitHubAction({ createOrUpdateCheckRun: "post" })
+  } catch (e) {
+    console.error(e)
+    process.exitCode = 1
+  }
+}
+
+run()
diff --git a/handle-new-mails/action.yml b/handle-new-mails/action.yml
@@ -2,6 +2,9 @@ name: 'Handle new mails'
 description: 'Processes new mails on the Git mailing list'
 author: 'Johannes Schindelin'
 inputs:
+  config:
+    description: 'The GitGitGadget configuration to use (see https://github.com/gitgitgadget/gitgitgadget/blob/HEAD/lib/project-config.ts)'
+    default: '' # sadly, ${{ vars.CONFIG }} does not work, and documentation about what contexts are permissible here is sorely missing
   pr-repo-token:
     description: 'The access token to work on the repository that holds PRs and state'
     required: true

diff --git a/handle-pr-comment/action.yml b/handle-pr-comment/action.yml
@@ -2,6 +2,9 @@ name: 'Handle PR Comment'
 description: 'Handles slash commands such as /submit and /preview'
 author: 'Johannes Schindelin'
 inputs:
+  config:
+    description: 'The GitGitGadget configuration to use (see https://github.com/gitgitgadget/gitgitgadget/blob/HEAD/lib/project-config.ts)'
+    default: '' # sadly, ${{ vars.CONFIG }} does not work, and documentation about what contexts are permissible here is sorely missing
   pr-repo-token:
     description: 'The access token to work on the repository that holds PRs and state'
     required: true

diff --git a/handle-pr-comment/index.js b/handle-pr-comment/index.js
@@ -2,10 +2,10 @@ async function run() {
   const { CIHelper } = await import("../dist/index.js")
 
   const ci = new CIHelper()
-  const { owner, commentId } = ci.parsePRCommentURLInput()
+  const { owner, comment_id } = ci.parsePRCommentURLInput()
 
   await ci.setupGitHubAction()
-  await ci.handleComment(owner, commentId)
+  await ci.handleComment(owner, comment_id)
 }
 
 run()
diff --git a/handle-pr-push/action.yml b/handle-pr-push/action.yml
@@ -2,6 +2,9 @@ name: 'Handle PR Pushes'
 description: 'Handles when a PR was pushed'
 author: 'Johannes Schindelin'
 inputs:
+  config:
+    description: 'The GitGitGadget configuration to use (see https://github.com/gitgitgadget/gitgitgadget/blob/HEAD/lib/project-config.ts)'
+    default: '' # sadly, ${{ vars.CONFIG }} does not work, and documentation about what contexts are permissible here is sorely missing
   pr-repo-token:
     description: 'The access token to work on the repository that holds PRs and state'
     required: true

diff --git a/handle-pr-push/index.js b/handle-pr-push/index.js
@@ -2,10 +2,10 @@ async function run() {
   const { CIHelper } = await import("../dist/index.js")
 
   const ci = new CIHelper()
-  const { owner, prNumber } = ci.parsePRURLInput()
+  const { owner, pull_number } = ci.parsePRURLInput()
 
   await ci.setupGitHubAction()
-  await ci.handlePush(owner, prNumber)
+  await ci.handlePush(owner, pull_number)
 }
 
 run()
diff --git a/initialize-git-notes/action.yml b/initialize-git-notes/action.yml
@@ -0,0 +1,20 @@
+name: 'Initialize the Git notes'
+description: 'Creates initial, mostly empty Git notes for GitGitGadget to store its state in.'
+author: 'Johannes Schindelin'
+inputs:
+  config:
+    description: 'The GitGitGadget configuration to use (see https://github.com/gitgitgadget/gitgitgadget/blob/HEAD/lib/project-config.ts)'
+    default: '' # sadly, ${{ vars.CONFIG }} does not work, and documentation about what contexts are permissible here is sorely missing
+  pr-repo-token:
+    description: 'The access token to work on the repository that holds PRs and state'
+    required: true
+  initial-user:
+    description: 'The user that is initially the only one allowed to use GitGitGadget in the given project'
+    default: ${{ github.actor }}
+    required: true
+runs:
+  using: 'node20'
+  main: './index.js'
+branding:
+  icon: 'git-commit'
+  color: 'orange'
diff --git a/initialize-git-notes/index.js b/initialize-git-notes/index.js
@@ -0,0 +1,11 @@
+async function run() {
+  const { CIHelper } = await import("../dist/index.js")
+
+  const ci = new CIHelper()
+
+  await ci.setupGitHubAction({
+    createGitNotes: true,
+  })
+}
+
+run()