add tool workflows.

.github/workflows/tools/remove-unused-labels.yml

@@ -0,0 +1,74 @@
+name: Remove Unused Labels
+on:
+  workflow_dispatch:
+
+jobs:
+  cleanup:
+    runs-on: ubuntu-latest
+    permissions:
+      issues: write
+      pull-requests: write
+      contents: read
+    steps:
+      - name: Checkout Repository
+        uses: actions/checkout@v4
+
+      - name: Fetch All Issues and PRs
+        id: fetch_issues_prs
+        uses: actions/github-script@v7.0.1
+        with:
+          github-token: ${{ secrets.GITHUB_TOKEN }}
+          script: |
+            const issues = await github.paginate(github.rest.issues.listForRepo, {
+              owner: context.repo.owner,
+              repo: context.repo.repo,
+              state: 'all',
+              per_page: 100
+            });
+
+            const labelsInUse = new Set();
+            issues.forEach(issue => {
+              issue.labels.forEach(label => {
+                labelsInUse.add(label.name);
+              });
+            });
+
+            return JSON.stringify(Array.from(labelsInUse));
+          result-encoding: string
+
+      - name: Fetch All Labels
+        id: fetch_labels
+        uses: actions/github-script@v7.0.1
+        with:
+          github-token: ${{ secrets.GITHUB_TOKEN }}
+          script: |
+            const labels = await github.paginate(github.rest.issues.listLabelsForRepo, {
+              owner: context.repo.owner,
+              repo: context.repo.repo,
+              per_page: 100
+            });
+
+            return JSON.stringify(labels.map(label => label.name));
+          result-encoding: string
+
+      - name: Remove Unused Labels
+        uses: actions/github-script@v7.0.1
+        with:
+          github-token: ${{ secrets.GITHUB_TOKEN }}
+          script: |
+            const labelsInUse = new Set(JSON.parse(process.env.LABELS_IN_USE));
+            const allLabels = JSON.parse(process.env.ALL_LABELS);
+
+            const unusedLabels = allLabels.filter(label => !labelsInUse.has(label));
+
+            for (const label of unusedLabels) {
+              await github.rest.issues.deleteLabel({
+                owner: context.repo.owner,
+                repo: context.repo.repo,
+                name: label
+              });
+              console.log(`Deleted label: ${label}`);
+            }
+        env:
+          LABELS_IN_USE: ${{ steps.fetch_issues_prs.outputs.result }}
+          ALL_LABELS: ${{ steps.fetch_labels.outputs.result }}

.github/workflows/tools/reopen-issue.yml

@@ -0,0 +1,78 @@
+name: Reopen and Update Stale Issues
+
+on:
+  workflow_dispatch:
+
+jobs:
+  reopen_stale_issues:
+    runs-on: ubuntu-latest
+    permissions:
+      issues: write
+      contents: read
+
+    steps:
+      - name: Checkout Repository
+        uses: actions/checkout@v4
+
+      - name: Fetch Closed Issues with lifecycle/stale Label
+        id: fetch_issues
+        uses: actions/github-script@v7
+        with:
+          github-token: ${{ secrets.GITHUB_TOKEN }}
+          script: |
+            const issues = await github.paginate(github.rest.issues.listForRepo, {
+              owner: context.repo.owner,
+              repo: context.repo.repo,
+              state: 'closed',
+              labels: 'lifecycle/stale',
+              per_page: 100
+            });
+            const issueNumbers = issues
+              .filter(issue => !issue.pull_request) // 排除PR
+              .map(issue => issue.number);
+            console.log(`Fetched issues: ${issueNumbers}`);
+            return issueNumbers;
+
+      - name: Set issue numbers
+        id: set_issue_numbers
+        run: |
+          echo "ISSUE_NUMBERS=${{ steps.fetch_issues.outputs.result }}" >> $GITHUB_ENV
+          echo "Issue numbers: ${{ steps.fetch_issues.outputs.result }}"
+
+      - name: Reopen Issues
+        uses: actions/github-script@v7
+        with:
+          github-token: ${{ secrets.GITHUB_TOKEN }}
+          script: |
+            const issueNumbers = JSON.parse(process.env.ISSUE_NUMBERS);
+            console.log(`Reopening issues: ${issueNumbers}`);
+
+            for (const issue_number of issueNumbers) {
+              // Reopen the issue
+              await github.rest.issues.update({
+                owner: context.repo.owner,
+                repo: context.repo.repo,
+                issue_number: issue_number,
+                state: 'open'
+              });
+              console.log(`Reopened issue #${issue_number}`);
+            }
+
+      - name: Remove lifecycle/stale Label
+        uses: actions/github-script@v7
+        with:
+          github-token: ${{ secrets.GITHUB_TOKEN }}
+          script: |
+            const issueNumbers = JSON.parse(process.env.ISSUE_NUMBERS);
+            console.log(`Removing 'lifecycle/stale' label from issues: ${issueNumbers}`);
+
+            for (const issue_number of issueNumbers) {
+              // Remove the lifecycle/stale label
+              await github.rest.issues.removeLabel({
+                owner: context.repo.owner,
+                repo: context.repo.repo,
+                issue_number: issue_number,
+                name: 'lifecycle/stale'
+              });
+              console.log(`Removed label 'lifecycle/stale' from issue #${issue_number}`);
+            }