xiaxinhang/pr-agent
1
0
Fork 0
mirror of https://github.com/qodo-ai/pr-agent.git synced 2025-07-04 21:00:40 +08:00
Code Issues Packages Projects Releases Wiki Activity

add name + github icon

Browse Source
This commit is contained in:
Almog Lavi
2024-04-15 13:37:50 +03:00
parent fe231929ae
commit d5262f24ca
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
docs/mkdocs.yml
View File

@ -1,7 +1,7 @@
site_name: PR-Agent Documentation site_name: PR-Agent Documentation
description: Documentation for PR-Agent, the AI-powered Pull Request tool. description: Documentation for PR-Agent, the AI-powered Pull Request tool.
repo_url: https://github.com/Codium-ai/pr-agent repo_url: https://github.com/Codium-ai/pr-agent
repo_name: Codium-ai/pr-agent
nav: nav:
- Overview: 'index.md' - Overview: 'index.md'
- Installation: - Installation:
@ -41,6 +41,8 @@ theme:
logo: assets/logo.svg logo: assets/logo.svg
favicon: assets/favicon.ico favicon: assets/favicon.ico
name: material name: material
icon:
repo: fontawesome/brands/github
features: features:
- navigation.tabs - navigation.tabs
- navigation.expand - navigation.expand