From d5262f24ca42941e89db29ca79d23e75b4a30f70 Mon Sep 17 00:00:00 2001 From: Almog Lavi <42740235+almog-lv@users.noreply.github.com> Date: Mon, 15 Apr 2024 13:37:50 +0300 Subject: [PATCH] add name + github icon --- docs/mkdocs.yml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/docs/mkdocs.yml b/docs/mkdocs.yml index 9854ca14..c11965d0 100644 --- a/docs/mkdocs.yml +++ b/docs/mkdocs.yml @@ -1,7 +1,7 @@ site_name: PR-Agent Documentation description: Documentation for PR-Agent, the AI-powered Pull Request tool. repo_url: https://github.com/Codium-ai/pr-agent - +repo_name: Codium-ai/pr-agent nav: - Overview: 'index.md' - Installation: @@ -41,6 +41,8 @@ theme: logo: assets/logo.svg favicon: assets/favicon.ico name: material + icon: + repo: fontawesome/brands/github features: - navigation.tabs - navigation.expand