From fe128519347ac07ed0e38de7f614de6bce1f7adc Mon Sep 17 00:00:00 2001
From: Jesse McGinnis <accounts@jcmcginnis.com>
Date: Thu, 2 May 2024 14:53:02 -0400
Subject: [PATCH] Add /generate_dist 'command'

---
 .github/workflows/generate_dist.yml | 45 +++++++++++++++++++++++++++++
 1 file changed, 45 insertions(+)
 create mode 100644 .github/workflows/generate_dist.yml

diff --git a/.github/workflows/generate_dist.yml b/.github/workflows/generate_dist.yml
new file mode 100644
index 00000000..a482b51b
--- /dev/null
+++ b/.github/workflows/generate_dist.yml
@@ -0,0 +1,45 @@
+name: Generate and commit distribution files
+
+on:
+  issue_comment:
+    types: [created, edited]
+  workflow_dispatch:
+
+concurrency:
+  group: "dist"
+  cancel-in-progress: false
+
+permissions:
+  contents: write
+
+jobs:
+  generate_dist:
+    runs-on: ubuntu-latest
+    if: ${{ github.event.issue.pull_request && github.event.comment.body == '/generate_dist' }}
+    steps:
+    - name: Checkout code
+      uses: actions/checkout@v4
+
+    - name: Set up Ruby
+      uses: ruby/setup-ruby@v1
+
+    - name: Install Cue
+      uses: cue-lang/setup-cue@v1.0.0
+      with:
+        version: 'v0.7.0'
+
+    - name: Install bundler and gems
+      run: |
+        gem install bundler
+        bundle install --jobs 4 --retry 3
+
+    - name: Generate distribution files
+      run: make
+
+    - name: Commit distribution files
+      run: |
+        git config --global user.name "github-actions[bot]"
+        git config --global user.email "github-actions[bot]@users.noreply.github.com"
+        git add dist
+        git commit -m "🤖 Update distribution files"
+        git push