From 8599c0fed4e1edc2923d54873bff9135b14d9f40 Mon Sep 17 00:00:00 2001 From: mrT23 Date: Thu, 16 May 2024 09:17:26 +0300 Subject: [PATCH] Add documentation for PR-Agent Chrome Extension and update mkdocs.yml to include new section --- docs/docs/chrome-extension/index.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/docs/docs/chrome-extension/index.md b/docs/docs/chrome-extension/index.md index 6e338f15..9095b7fa 100644 --- a/docs/docs/chrome-extension/index.md +++ b/docs/docs/chrome-extension/index.md @@ -1,7 +1,7 @@ ## PR-Agent chrome extension -- PR-Agent Chrome extension ia a toolbar that integrates seamlessly with your GitHub environment, allowing you to access PR-Agent tools directly from the GitHub interface. -- With PR-Agent Chrome extension, it's [easier than ever](https://www.youtube.com/watch?v=gT5tli7X4H4) to interactively configuring and experimenting with the different tools and configuration options. +- PR-Agent Chrome extension is a toolbar that integrates seamlessly with your GitHub environment, allowing you to access PR-Agent tools directly from the GitHub interface. +- With PR-Agent Chrome extension, it's [easier than ever](https://www.youtube.com/watch?v=gT5tli7X4H4) to interactively experiment with the different tools and configuration options. - After you found the setup that works for you, you can also easily export it as a persistent configuration file, and use it for the automatic commands. @@ -15,8 +15,8 @@ Go to the marketplace and install the extension: ## Pre-requisites -The PR-Agent Chrome extension will work on any repo where you have previously [installed PR-Agent](https://pr-agent-docs.codium.ai/installation/). +The PR-Agent Chrome extension will work on any repo where you have previously [installed PR-Agent](https://pr-agent-docs.codium.ai/installation/) (both for free and pro users). ## Data privacy and security -The PR-Agent Chrome extension only modifies the visual appearance of a GitHub PR screen. It does not transmit any user's repo or pull request code. Code is only sent for processing when a user submits a GitHub comment that activates a PR-Agent tool, in accordance with the standard privacy policy of PR-Agent. +The PR-Agent Chrome extension only modifies the visual appearance of a GitHub PR screen. It does not transmit any user's repo or pull request code. Code is only sent for processing when a user submits a GitHub comment that activates a PR-Agent tool, in accordance with the standard [privacy policy of PR-Agent](https://pr-agent-docs.codium.ai/#pr-agent-chrome-extension).