From d5170fef4deb38b8a351a24471aa0f6f5392be97 Mon Sep 17 00:00:00 2001
From: Denis Angell <dangell@transia.co>
Date: Wed, 13 May 2026 19:25:09 +0200
Subject: [PATCH] Create install-skills.sh

---
 .github/scripts/doc-agent/install-skills.sh | 30 +++++++++++++++++++++
 1 file changed, 30 insertions(+)
 create mode 100755 .github/scripts/doc-agent/install-skills.sh

diff --git a/.github/scripts/doc-agent/install-skills.sh b/.github/scripts/doc-agent/install-skills.sh
new file mode 100755
index 0000000000..159a81626c
--- /dev/null
+++ b/.github/scripts/doc-agent/install-skills.sh
@@ -0,0 +1,30 @@
+#!/usr/bin/env bash
+set -euo pipefail
+
+SCRIPT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
+REPO_ROOT="$(cd "$SCRIPT_DIR/../../.." && pwd)"
+
+SRC_DIR="$REPO_ROOT/docs/skills"
+DEST_DIR="$REPO_ROOT/.claude/skills"
+
+if [ ! -d "$SRC_DIR" ]; then
+  echo "Source directory not found: $SRC_DIR" >&2
+  exit 1
+fi
+
+mkdir -p "$DEST_DIR"
+
+shopt -s nullglob
+moved=0
+for src in "$SRC_DIR"/*.md; do
+  name="$(basename "$src" .md)"
+  [ "$name" = "index" ] && continue
+
+  skill_dir="$DEST_DIR/$name"
+  mkdir -p "$skill_dir"
+  cp "$src" "$skill_dir/SKILL.md"
+  echo "Installed: $name -> $skill_dir/SKILL.md"
+  moved=$((moved + 1))
+done
+
+echo "Done. Installed $moved skill(s) to $DEST_DIR"