Merge pull request #1221 from Codium-ai/tr/updates_and_fixes

FAQ
Codium-ai · Sep 11, 2024 · dd8d78e · dd8d78e
2 parents 6cc562d + 5af6cc7
commit dd8d78e
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/docs/docs/faq/index.md b/docs/docs/faq/index.md
@@ -1,6 +1,6 @@
 # FAQ
 
-??? note "Question: Can PR-Agent serve as a substitute for human code review?"
+??? note "Question: Can PR-Agent serve as a substitute for a human reviewer?"
     #### Answer:<span style="display:none;">1</span>
 
     PR-Agent is designed to assist, not replace, human reviewers.

diff --git a/docs/mkdocs.yml b/docs/mkdocs.yml
@@ -56,7 +56,8 @@ nav:
       - PR-Agent Chrome Extension: 'chrome-extension/index.md'
       - Features: 'chrome-extension/features.md'
       - Data Privacy: 'chrome-extension/data_privacy.md'
-  - FAQ
+  - FAQ:
+      - FAQ: 'faq/index.md'
 #  - Code Fine-tuning Benchmark: 'finetuning_benchmark/index.md'
 
 theme: