docs

kryptogo · Sep 27, 2024 · f3fd439 · f3fd439
1 parent 6188aff
commit f3fd439
Show file tree

Hide file tree

Showing 2 changed files with 17 additions and 2 deletions.
diff --git a/docs/docs/index.md b/docs/docs/index.md
@@ -13,11 +13,13 @@ CodiumAI PR-Agent is an open-source tool to help efficiently review and handle p
 
 To search the documentation site using natural language:
 
-1. Comment `/help "your question"` in either:
+1) Comment `/help "your question"` in either:
+
    - A pull request where PR-Agent is installed
    - A [PR Chat](https://pr-agent-docs.codium.ai/chrome-extension/features/#pr-chat)
 
-2. PR-Agent will respond with an [answer](https://github.com/Codium-ai/pr-agent/pull/1241#issuecomment-2365259334) that includes relevant documentation links.
+2) PR-Agent will respond with an [answer](https://github.com/Codium-ai/pr-agent/pull/1241#issuecomment-2365259334) that includes relevant documentation links.
+
 
 ## PR-Agent Features
 

diff --git a/docs/docs/overview/index.md b/docs/docs/overview/index.md
@@ -9,7 +9,20 @@ CodiumAI PR-Agent is an open-source tool to help efficiently review and handle p
 - See the [Tools Guide](./tools/index.md) for a detailed description of the different tools.
 
 
+## PR-Agent Docs Smart Search
+
+To search the documentation site using natural language:
+
+1) Comment `/help "your question"` in either:
+
+   - A pull request where PR-Agent is installed
+   - A [PR Chat](https://pr-agent-docs.codium.ai/chrome-extension/features/#pr-chat)
+
+2) PR-Agent will respond with an [answer](https://github.com/Codium-ai/pr-agent/pull/1241#issuecomment-2365259334) that includes relevant documentation links.
+
+
 ## PR-Agent Features
+
 PR-Agent offers extensive pull request functionalities across various git providers.
 
 |       |                                                                                                                       | GitHub | Gitlab | Bitbucket | Azure DevOps |