Item logo image for GitHub Tools Extension

GitHub Tools Extension

arnaudbenassy.com
5.0(

1 rating

)
ExtensionDeveloper Tools2 users
Item media 1 screenshot

Overview

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.

5 out of 51 rating

Google doesn't verify reviews. Learn more about results and reviews.

Details

  • Version
    0.0.1
  • Updated
    June 22, 2017
  • Size
    11.72KiB
  • Languages
    English (UK)
  • Developer
  • Non-trader
    This developer has not identified itself as a trader. For consumers in the European Union, please note that consumer rights do not apply to contracts between you and this developer.

Privacy

The developer has not provided any information about the collection or usage of your data.
Google apps