PR-Agent Chrome Extension
An extension that enables easy access to PR-Agent commands.
Total ratings for PR-Agent Chrome Extension
5.00
(Rating count:
11)
Upgrade to see all 11 reviews
Recent reviews for PR-Agent Chrome Extension
Recent rating average:
5.00
All time rating average:
5.00
Upgrade to see all 11 reviews
Rating filters
5 star
4 star
3 star
2 star
1 star
Date | Author | Rating | Lang | Comment |
---|---|---|---|---|
2024-05-23 | 于礼(镰仓) | en | 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. | |
2024-05-12 | Dani Avitz | en | Great extension. Highly recommended! | |
2024-05-02 | David Parry | en | Just what the developer needed. Thanks for all the hard work knocking it out of the park! | |
2024-05-02 | t r | |||
2024-05-02 | Gadi Zim | en | Much easier to customize my tools now that I dont have to go the documentation every time | |
2024-04-24 | Addie Cohen | en | Very intuitive and easy to use, love this! | |
2024-04-18 | Ori Kotek | en | Makes my life much easier as a PR-Agent user | |
2024-04-18 | Tom Parandyk | en | No need to search for the commands and parameters anymore! | |
2024-04-18 | Dedy Kredo | en | So useful! Makes reviewing pull requests way more efficient. | |
2024-04-18 | oran shiner | en | An amazing addition to an amazing product |
Upgrade to see all 11 reviews