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.
Extore is a team of professionals who are passionate about creating extensions for web browsers. This devotion also gives us opportunity to appreciate work of other people. We get inspired by useful, open source extensions made by developers all over the world. Our strong belief is that one should share helpful add-ons with others. That’s why we’d like to present you our ever-growing list of favourite extensions that have inspired us. Moreover, as you probably have already learned, sometimes struggling for the best brings an end to the good. Talking about add-ons it often turns out that an upgrade is worse then previous version. Also it can become really tricky to get back to the beloved version of your favourite extension. That’s why we’re going to make not only the latest, but all versions of our favourite (and we hope yours too) add-ons available for download. No more compromises, just stick to the version you really like!