Add original git-tools plugin

2026-07-22 23:38:14 +08:00
parent ad9403f7fc
commit 9a24a2125f
9 changed files with 405 additions and 0 deletions
--- a/.agents/plugins/marketplace.json
+++ b/.agents/plugins/marketplace.json
@@ -15,6 +15,18 @@
        "authentication": "ON_INSTALL"
      },
      "category": "Developer Tools"
+    },
+    {
+      "name": "git-tools",
+      "source": {
+        "source": "local",
+        "path": "./plugins/git-tools"
+      },
+      "policy": {
+        "installation": "AVAILABLE",
+        "authentication": "ON_INSTALL"
+      },
+      "category": "Developer Tools"
    }
  ]
 }