feat: automated plugin index generation

Author: whiskeyjimbo

.github/workflows/update-index.yml

@@ -0,0 +1,49 @@
+name: Update Plugin Index
+
+on:
+  workflow_run:
+    workflows: ["Publish Plugin"]
+    types:
+      - completed
+  workflow_dispatch:
+
+concurrency:
+  group: update-index
+  cancel-in-progress: true
+
+permissions:
+  contents: write
+
+jobs:
+  update-index:
+    runs-on: ubuntu-latest
+    if: >-
+      github.event_name == 'workflow_dispatch' ||
+      (github.event_name == 'workflow_run' && github.event.workflow_run.conclusion == 'success')
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+        with:
+          fetch-depth: 0
+          fetch-tags: true
+
+      - name: Generate index.json
+        run: bash scripts/generate-index.sh
+
+      - name: Check for changes
+        id: diff
+        run: |
+          if git diff --quiet index.json; then
+            echo "changed=false" >> "$GITHUB_OUTPUT"
+          else
+            echo "changed=true" >> "$GITHUB_OUTPUT"
+          fi
+
+      - name: Commit and push
+        if: steps.diff.outputs.changed == 'true'
+        run: |
+          git config user.name "github-actions[bot]"
+          git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
+          git add index.json
+          git commit -m "Update plugin index"
+          git push

scripts/generate-index.sh

@@ -0,0 +1,42 @@
+#!/usr/bin/env bash
+set -euo pipefail
+
+# Collect plugin metadata from each plugin.json,
+# merged with latest git tag version.
+
+script_dir="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
+repo_root="$(dirname "$script_dir")"
+
+registry="ghcr.io/reglet-dev/plugins"
+repo_url="https://github.com/reglet-dev/reglet-plugins"
+
+plugins_json="[]"
+
+# ensure we affect the correct path.
+
+for plugin_json in "$repo_root"/plugins/*/plugin.json; do
+    # check if file exists to handle empty case
+    [ -e "$plugin_json" ] || continue
+    
+    plugin_dir="$(dirname "$plugin_json")"
+    plugin_name="$(jq -r '.name' "$plugin_json")"
+
+    # Find latest tag for this plugin (e.g. dns/v1.2.0 -> 1.2.0)
+    latest=$(git tag -l "${plugin_name}/v*" --sort=-v:refname | head -1 | sed "s|${plugin_name}/v||" || echo "unreleased")
+    if [ -z "$latest" ]; then
+        latest="unreleased"
+    fi
+
+    entry=$(jq --arg v "$latest" '. + {latest: $v}' "$plugin_json")
+    plugins_json=$(echo "$plugins_json" | jq --argjson e "$entry" '. + [$e]')
+done
+
+jq -n \
+    --arg repo "$repo_url" \
+    --arg registry "$registry" \
+    --arg updated "$(date -u +%Y-%m-%dT%H:%M:%SZ)" \
+    --argjson plugins "$plugins_json" \
+    '{repository: $repo, registry: $registry, updated: $updated, plugins: $plugins}' \
+    > "$repo_root/index.json"
+
+echo "Generated index.json with $(echo "$plugins_json" | jq length) plugins"