GitHub Tools Extension
Item logo image for GitHub Tools Extension

GitHub Tools Extension

arnaudbenassy.com5.0(

1 rating

)
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.

You might also like…

Repositree

5.0(8)

Browser Extension that helps to explore Github repository

Refined GitHub

4.8(177)

Simplifies the GitHub interface and adds useful features

Le Git Graph - Commits Graph for GitHub

4.4(19)

A browser extension that displays the git graph for any GitHub repository.

GitHub Repository Size

4.4(80)

Automatically adds repository size to GitHub's repository summary

Google apps