From 39530b401ddc556da43559935fc9f60d5289d836 Mon Sep 17 00:00:00 2001
From: BoxBoxmari <154628234+BoxBoxmari@users.noreply.github.com>
Date: Sat, 12 Sep 2026 14:32:50 +0700
Subject: [PATCH] chore: stage one-time my-pi listing update

---
 .github/workflows/add-my-pi-once.yml | 50 ++++++++++++++++++++++++++++
 1 file changed, 50 insertions(+)
 create mode 100644 .github/workflows/add-my-pi-once.yml

diff --git a/.github/workflows/add-my-pi-once.yml b/.github/workflows/add-my-pi-once.yml
new file mode 100644
index 000000000..d8c9d54ec
--- /dev/null
+++ b/.github/workflows/add-my-pi-once.yml
@@ -0,0 +1,50 @@
+name: One-time add my-pi listing
+
+on:
+  push:
+    branches:
+      - add-my-pi
+
+permissions:
+  contents: write
+
+jobs:
+  add-listing:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout branch
+        uses: actions/checkout@v4
+        with:
+          ref: add-my-pi
+          fetch-depth: 0
+
+      - name: Add my-pi to Developer Tools
+        shell: python
+        run: |
+          from pathlib import Path
+
+          readme = Path("README.md")
+          text = readme.read_text(encoding="utf-8")
+          entry = "- [BoxBoxmari/my-pi](https://github.com/BoxBoxmari/my-pi) [![BoxBoxmari/my-pi MCP server](https://glama.ai/mcp/servers/BoxBoxmari/my-pi/badges/score.svg)](https://glama.ai/mcp/servers/BoxBoxmari/my-pi) 📇 🏠 🍎 🪟 🐧 - Local-first MCP runtime for coding agents with bounded workspace access, guarded writes, AST search, LSP navigation/diagnostics, and Git tooling."
+
+          if entry not in text:
+              lines = text.splitlines(keepends=True)
+              marker = "- [baobabcat/demandscope]"
+              for index, line in enumerate(lines):
+                  if line.startswith(marker):
+                      newline = "\r\n" if line.endswith("\r\n") else "\n"
+                      lines.insert(index + 1, entry + newline)
+                      break
+              else:
+                  raise SystemExit("Developer Tools insertion marker not found")
+              readme.write_text("".join(lines), encoding="utf-8", newline="")
+
+          Path(".github/workflows/add-my-pi-once.yml").unlink()
+
+      - name: Commit one-line listing change
+        run: |
+          git config user.name "BoxBoxmari"
+          git config user.email "154628234+BoxBoxmari@users.noreply.github.com"
+          git add -A
+          git commit -m "Add my-pi MCP server"
+          git push origin HEAD:add-my-pi