PR-Agent Chrome Extension
Item media 4 screenshot
Item video thumbnail
Item media 2 screenshot
Item media 3 screenshot
Item media 4 screenshot
Item video thumbnail
Item video thumbnail
Item media 2 screenshot
Item media 3 screenshot
Item media 4 screenshot

Overview

An extension that enables easy access to PR-Agent commands.

What It Does: PR-Agent Chrome Extension brings your favorite PR-Agent tools directly into your GitHub workflow, allowing you to run different tools with custom configurations seamlessly. 🔧 Requirements: This Chrome extension is designed to work with GitHub repositories that are connected to PR-Agent, whether through the GitHub App or a self-hosted setup. Ensure your repository is properly linked to PR-Agent (free or pro versions) to take full advantage of all the features offered by this extension. https://www.codium.ai/products/git-plugin/ https://github.com/Codium-ai/pr-agent 🚀 Key Features: Toolbar extension: ⭐️ Conveniently access a variety of PR-Agent tools directly from the comment section on your pull request page. ⭐️ Streamlined Configuration Export: Effortlessly export your preferred PR-Agent settings to a configuration file, which can be applied at either the repository or organizational level for seamless team-wide adoption. ⭐️ Supported tools (💎 available on PR-Agent Pro version): 📝 Describe: Generate a description for the PR - title, type, summary, walkthrough and labels 🔍 Review: Provide various feedbacks on the PR such as possible issues, security concerns, and more ✨ Improve: Generate code suggestions, focusing on possible issues, efficiency, best practices, and more' ❓ Ask: Answer questions about the PR, based on the PR code changes 🔄 Update Change Log: Automatically update the CHANGELOG.md file based on the PR code changes 📚 Docs 💎: Suggest documentation for any code components that changed in the PR 🔬 Analyze 💎: Identifies code components that changed in the PR, and enables to interactively trigger relevant tools 🚦 Actions 💎: Receives a URL of a failed Github action, and analyzes why the process failed

5 out of 512 ratings

Google doesn't verify reviews. Learn more about results and reviews.

Review's profile picture

Itamar FriedmanJun 14, 2024

This extension is extremely useful for me to squeeze the most from PR-Agent without needing to remember all PR-Agent capabilities by heart.

Review's profile picture

于礼(镰仓)May 23, 2024

I've been using the PR-Agent Chrome Extension for a few weeks now, and it has significantly enhanced my GitHub experience. This tool seamlessly integrates with GitHub, allowing me to access a suite of PR-Agent tools directly from the pull request comment section. The convenience of not having to switch between applications or windows is a huge time-saver.

1 person found this review to be helpful
Review's profile picture

Dani AvitzMay 12, 2024

Great extension. Highly recommended!

Details

  • Version
    1.15.1
  • Updated
    June 6, 2024
  • Size
    52.63KiB
  • Languages
    English
  • Developer
    Website
    Email
    hussam.l@codium.ai
  • Non-trader
    This developer has not identified itself as a trader. For consumers in the European Union, please note that consumer rights do not apply to contracts between you and this developer.

Privacy

The developer has disclosed that it will not collect or use your data. To learn more, see the developer’s privacy policy.

This developer declares that your data is

  • Not being sold to third parties, outside of the approved use cases
  • Not being used or transferred for purposes that are unrelated to the item's core functionality
  • Not being used or transferred to determine creditworthiness or for lending purposes

You might also like…

Video Downloader for Chrome

4.6(514)

Video downloader for Chrome is a simple tool that allows users to easily download videos from websites with just a few clicks.

Accent Press

4.2(5)

Accent Press is a simple Chrome Extension that allows you to easily write accents.

Extentie - extension manager

4.3(35)

A simple and elegant Chrome extension manager allows you manage your extensions in a popup window.

Extension Manager

4.5(6)

A Chrome extension to manage other extensions.

Google apps