GitHub Tools Extension

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.