GitHub Tools Extension
CRX ID
mkjkoomfcapdbmjnhigobhckaopmmnoe
Status
No Privacy Policy
Live on Store
Description from extension meta
Add useful display for GitHub
Image from store
Description from store
Github tools is a simple chrome extension adding information concerning each PR in GitHub's Pull Requests list.
While developing, it's common to have a lot of PR's opened, and seeing list to wonder "Oh, did I already reviewed this one ? Or maybe the others reviewed it and they're waiting for me to merge..." Forget it :)
GitHub-tools rely on GitHub's API to check this for you and display who reviewed and approved or requested changes, highlighting your name if you appear on reviews.
Latest reviews
Arnaud Benassy
2017-06-29
Elle fait le travail promis, c'est pratique :)