Merge commit '3d83740f88b6aaba6962256be517656496b83f25' into lsp-server

2026-05-24 13:04:22 +08:00
parent 7aa60e78f8 3d83740f88
commit 696920df73
292 changed files with 30774 additions and 218828 deletions
@@ -0,0 +1,100 @@
+name: 🪄 Update Third-Party Skills
+
+on:
+  push:
+    branches:
+      - main
+  workflow_dispatch:
+  schedule:
+    - cron: "@daily"
+
+concurrency:
+  group: update-thirdparty-${{ github.repository }}
+  cancel-in-progress: false
+
+env:
+  WORKSPACE_DIR: "/home/workspace"
+  THIRDPARTY_BRANCH: "thirdparty/skill"
+  MANIFEST_PATH: ".gitea/ci/thirdparty_skills.json"
+
+jobs:
+  update_and_sync:
+    name: ♻️ Update thirdparty and sync main
+    runs-on: ubuntu-22.04
+
+    steps:
+      - name: 🧰 Prepare repo
+        shell: bash
+        run: |
+          set -euo pipefail
+
+          echo "========================================"
+          echo "🧰 Prepare repo in WORKSPACE_DIR"
+          echo "========================================"
+
+          REPO_NAME="${{ github.event.repository.name }}"
+          TOKEN="${{ secrets.WORKFLOW }}"
+          mkdir -p "${{ env.WORKSPACE_DIR }}"
+          REPO_DIR="$(mktemp -d "${{ env.WORKSPACE_DIR }}/${REPO_NAME}.XXXXXX")"
+          if [ -n "$TOKEN" ]; then
+            REPO_URL="https://oauth2:${TOKEN}@${GITHUB_SERVER_URL#https://}/${{ github.repository }}.git"
+          else
+            REPO_URL="${GITHUB_SERVER_URL}/${{ github.repository }}.git"
+          fi
+
+          git clone "$REPO_URL" "$REPO_DIR"
+
+          git -C "$REPO_DIR" fetch origin main
+          git -C "$REPO_DIR" checkout -B main origin/main
+
+          git config --global --add safe.directory "$REPO_DIR"
+          echo "REPO_DIR=$REPO_DIR" >> "$GITHUB_ENV"
+
+      - name: ♻️ Update thirdparty and sync main
+        shell: bash
+        run: |
+          set -euo pipefail
+          cd "$REPO_DIR"
+
+          echo "========================================"
+          echo "📦 Refresh thirdparty/skill snapshots"
+          echo "========================================"
+
+          before_ref=""
+          if git show-ref --verify --quiet "refs/remotes/origin/$THIRDPARTY_BRANCH"; then
+            before_ref="$(git rev-parse "origin/$THIRDPARTY_BRANCH")"
+            echo "📌 Previous $THIRDPARTY_BRANCH: $before_ref"
+          else
+            echo "📌 Previous $THIRDPARTY_BRANCH: <missing>"
+          fi
+
+          export MANIFEST_PATH="$MANIFEST_PATH"
+          TARGET_BRANCH="$THIRDPARTY_BRANCH" bash .gitea/ci/update_thirdparty_skills.sh
+
+          git fetch origin "$THIRDPARTY_BRANCH"
+          after_ref="$(git rev-parse "origin/$THIRDPARTY_BRANCH")"
+          echo "📌 Current $THIRDPARTY_BRANCH: $after_ref"
+
+          if [ "$after_ref" = "$before_ref" ]; then
+            echo "✅ No thirdparty snapshot change; skip main sync."
+            exit 0
+          fi
+
+          echo "========================================"
+          echo "🚀 Sync skills into main"
+          echo "========================================"
+
+          git fetch origin main
+          git checkout -B main origin/main
+
+          TARGET_BRANCH="main" \
+          THIRDPARTY_BRANCH="$THIRDPARTY_BRANCH" \
+          MANIFEST_PATH="$MANIFEST_PATH" \
+          bash .gitea/ci/sync_thirdparty_skills.sh
+
+          echo "🎉 Update and sync finished."
+
+      - name: 🧹 Clean temporary repo
+        if: always()
+        run: |
+          rm -rf "$REPO_DIR"