GitHub Tools Extension

SUMMARY

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.

The latest version of GitHub Tools Extension is available on the Chrome web and is currently being used by 4 active users. The initial version was launched on 2017-06-22.

HOW TO INSTALL GitHub Tools Extension FROM A CRX FILE

1. Download GitHub Tools Extension CRX file
2. NOTE: Sometimes the browser may block downloading / installing CRX file from outside the Chrome Web Store. If so, you may need to download the ZIP file instead
3. In the URL bar, go to chrome://extensions
4. Enable Developer mode

Ratings

USER REVIEWS (0)