Add useful display for GitHub
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
- (2017-06-29) Arnaud Benassy: Elle fait le travail promis, c'est pratique :)
Statistics
Installs
3
history
Category
Rating
5.0 (1 votes)
Last update / version
2017-06-22 / 0.0.1
Listing languages
en-GB