From 39fe6f69d0fd142855e856f16c2a58a60ebec4d5 Mon Sep 17 00:00:00 2001 From: mrT23 Date: Wed, 22 May 2024 14:37:15 +0300 Subject: [PATCH 1/2] Expand and enhance documentation for PR-Agent Chrome Extension, adding detailed feature descriptions and updated images --- docs/docs/chrome-extension/index.md | 47 +++++++++++++++++++++-------- 1 file changed, 34 insertions(+), 13 deletions(-) diff --git a/docs/docs/chrome-extension/index.md b/docs/docs/chrome-extension/index.md index 596230463..e00a42c2b 100644 --- a/docs/docs/chrome-extension/index.md +++ b/docs/docs/chrome-extension/index.md @@ -1,12 +1,39 @@ ## PR-Agent chrome extension +PR-Agent Chrome extension ia a collection of tools that integrates seamlessly with your GitHub environment, aiming to enhance your PR-Agent usage experience, and providing additional features. -- 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. +## Features - +### Toolbar extension +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. - +After you found the setup that works for you, you can also easily export it as a persistent configuration file, and use it for automatic commands. + + + + + +### PR-Agent filters + +PR-Agent filters is a sidepanel option. that allow you to filter different message in the conversation tab. + +For example, you can choose to present only message from PR-Agent, or filter those messages, focusing only on user's comments. + + + + + + +### Enhanced code suggestions + +PR-Agent Chrome extension adds the following capabilities to code suggestions tool's comments: + +- Auto-expand the table when you are viewing a code block, to avoid clipping. +- Adding a "quote-and-reply" button, that enables to address and comment on a specific suggestion (for example, asking the author to fix the issue) + + + + + ## Installation @@ -15,14 +42,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/) (both for free and pro users). +The PR-Agent Chrome extension will work on any repo where you have previously [installed PR-Agent](https://pr-agent-docs.codium.ai/installation/). ## 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](https://pr-agent-docs.codium.ai/#pr-agent-chrome-extension). - -## Roadmap - -Stay tuned ... - - +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. From 811965d8411c094aabcd2ffcaedd58f9613524cb Mon Sep 17 00:00:00 2001 From: mrT23 Date: Wed, 22 May 2024 14:40:31 +0300 Subject: [PATCH 2/2] grammar --- docs/docs/chrome-extension/index.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/docs/docs/chrome-extension/index.md b/docs/docs/chrome-extension/index.md index e00a42c2b..2f75e74d9 100644 --- a/docs/docs/chrome-extension/index.md +++ b/docs/docs/chrome-extension/index.md @@ -1,10 +1,10 @@ ## PR-Agent chrome extension -PR-Agent Chrome extension ia a collection of tools that integrates seamlessly with your GitHub environment, aiming to enhance your PR-Agent usage experience, and providing additional features. +PR-Agent Chrome extension is a collection of tools that integrates seamlessly with your GitHub environment, aiming to enhance your PR-Agent usage experience, and providing additional features. ## Features ### Toolbar extension -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. +With PR-Agent Chrome extension, it's [easier than ever](https://www.youtube.com/watch?v=gT5tli7X4H4) to interactively configure and 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 automatic commands. @@ -14,7 +14,7 @@ After you found the setup that works for you, you can also easily export it as a ### PR-Agent filters -PR-Agent filters is a sidepanel option. that allow you to filter different message in the conversation tab. +PR-Agent filters is a sidepanel option. that allows you to filter different message in the conversation tab. For example, you can choose to present only message from PR-Agent, or filter those messages, focusing only on user's comments.