docs: clarify distinction between PR-Agent and Qodo Merge throughout documentation

This commit is contained in:
mrT23
2025-01-22 21:11:46 +02:00
parent c537e9ff66
commit e571841b5c
13 changed files with 130 additions and 219 deletions

View File

@ -1,4 +1,4 @@
site_name: Qodo Merge (formerly known as PR-Agent)
site_name: Qodo Merge (and open-source PR-Agent)
repo_url: https://github.com/Codium-ai/pr-agent
repo_name: Codium-ai/pr-agent