From 1481796d6ac475075a26c3c47fbef1a5f6b62b62 Mon Sep 17 00:00:00 2001 From: Almog Lavi <42740235+almog-lv@users.noreply.github.com> Date: Mon, 15 Apr 2024 13:32:05 +0300 Subject: [PATCH 1/4] Add GitHub repository URL to MkDocs configuration --- docs/mkdocs.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/docs/mkdocs.yml b/docs/mkdocs.yml index c045d8e4..5e6940d1 100644 --- a/docs/mkdocs.yml +++ b/docs/mkdocs.yml @@ -1,4 +1,5 @@ site_name: PR-Agent +repo_url: https://github.com/Codium-ai/pr-agent nav: - Overview: 'index.md' From fe231929aefdac34d56c9e1de130cd2964b69686 Mon Sep 17 00:00:00 2001 From: Almog Lavi <42740235+almog-lv@users.noreply.github.com> Date: Mon, 15 Apr 2024 13:33:22 +0300 Subject: [PATCH 2/4] Update mkdocs.yml to include site description and rename site --- docs/mkdocs.yml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/docs/mkdocs.yml b/docs/mkdocs.yml index 5e6940d1..9854ca14 100644 --- a/docs/mkdocs.yml +++ b/docs/mkdocs.yml @@ -1,4 +1,5 @@ -site_name: PR-Agent +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 nav: 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 3/4] 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 From 32fd03bd556bdbb2ae5f566b640fb4fa853c12c8 Mon Sep 17 00:00:00 2001 From: Almog Lavi <42740235+almog-lv@users.noreply.github.com> Date: Mon, 15 Apr 2024 13:42:36 +0300 Subject: [PATCH 4/4] Add repository URL to MkDocs configuration --- docs/mkdocs.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/mkdocs.yml b/docs/mkdocs.yml index c11965d0..66a702ac 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: