diff --git a/docs/docs/chrome-extension/index.md b/docs/docs/chrome-extension/index.md new file mode 100644 index 00000000..6e338f15 --- /dev/null +++ b/docs/docs/chrome-extension/index.md @@ -0,0 +1,22 @@ +## 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. +- 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. + + + + + +## Installation + +Go to the marketplace and install the extension: +[PR-Agent Chrome Extension](https://chromewebstore.google.com/detail/pr-agent-chrome-extension/ephlnjeghhogofkifjloamocljapahnl) + +## 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/). + +## 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. diff --git a/docs/mkdocs.yml b/docs/mkdocs.yml index 4e6ad2ca..272d5394 100644 --- a/docs/mkdocs.yml +++ b/docs/mkdocs.yml @@ -37,6 +37,7 @@ nav: - 💎 CI Feedback: 'tools/ci_feedback.md' - 💎 Similar Code: 'tools/similar_code.md' - Core Abilities: 'core-abilities/index.md' + - Chrome Extension: 'chrome-extension/index.md' theme: logo: assets/logo.svg