extimg

GitHub Tools Extension

Add useful display for GitHub

5.00 (1)
Publisher: abenassy
Overview
Stats
Download
Reviews

Overview

What is GitHub Tools Extension?

Add useful display for GitHub.

SCREENSHOT

Preview
screen shot
Preview
screen shot

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.

See More

Stats

15 Days

Trends for GitHub Tools Extension:

Rank

#0
--

User count

#
--

Category Rank

#
--

Rating

#5.00
--

Download

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

Total Downloads:  0(Downloads from CRX Insider)

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
Show more

Ratings

5.00

Average Rating

Total ratings

1

USER REVIEWS (0)

No reviews