[PR #1609] [MERGED] Added Antigravity MCP serverUrl instead of url as key #1691

Closed
opened 2026-02-17 17:22:37 -05:00 by yindo · 0 comments
Owner

📋 Pull Request Information

Original PR: https://github.com/langchain-ai/docs/pull/1609
Author: @dougfulop
Created: 11/24/2025
Status: Merged
Merged: 11/30/2025
Merged by: @mdrxy

Base: mainHead: patch-1


📝 Commits (1)

  • 89eebd2 Added Antigravity MCP serverUrl vs url key

📊 Changes

1 file changed (+14 additions, -0 deletions)

View changed files

📝 src/use-these-docs.mdx (+14 -0)

📄 Description

Overview

Antigravity requires a serverUrl key instead of url for its mcp json config.

Type of change

Type: Update existing documentation

Checklist

  • I have read the contributing guidelines
  • I have tested my changes locally using docs dev
  • [ x ] All code examples have been tested and work correctly
  • I have used root relative paths for internal links
  • I have updated navigation in src/docs.json if needed

🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.

## 📋 Pull Request Information **Original PR:** https://github.com/langchain-ai/docs/pull/1609 **Author:** [@dougfulop](https://github.com/dougfulop) **Created:** 11/24/2025 **Status:** ✅ Merged **Merged:** 11/30/2025 **Merged by:** [@mdrxy](https://github.com/mdrxy) **Base:** `main` ← **Head:** `patch-1` --- ### 📝 Commits (1) - [`89eebd2`](https://github.com/langchain-ai/docs/commit/89eebd25af132bc002fdf4a5c03de10fc14deed4) Added Antigravity MCP serverUrl vs url key ### 📊 Changes **1 file changed** (+14 additions, -0 deletions) <details> <summary>View changed files</summary> 📝 `src/use-these-docs.mdx` (+14 -0) </details> ### 📄 Description ## Overview <!-- Brief description of what documentation is being added/updated --> Antigravity requires a serverUrl key instead of url for its mcp json config. ## Type of change **Type:** Update existing documentation ## Checklist <!-- Put an 'x' in all boxes that apply --> - [ ] I have read the [contributing guidelines](README.md) - [ ] I have tested my changes locally using `docs dev` - [ x ] All code examples have been tested and work correctly - [ ] I have used **root relative** paths for internal links - [ ] I have updated navigation in `src/docs.json` if needed --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>
yindo added the pull-request label 2026-02-17 17:22:37 -05:00
yindo closed this issue 2026-02-17 17:22:37 -05:00
yindo changed title from [PR #1609] Added Antigravity MCP serverUrl instead of url as key to [PR #1609] [MERGED] Added Antigravity MCP serverUrl instead of url as key 2026-06-05 18:14:23 -04:00
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: langchain-ai/docs#1691