GitHub PR Tool

Mark all files as viewed / not viewed in GitHub pull requests.

As of June 2026, GitHub PR Tool has 44 users and a 3.00/5 rating from 1 reviews in the Developer Tools category.

Usersup 2.3 percent+2.3%
44
44
Ratingno change0%
3.00
1 reviews
Reviewsno change0%
1
Version
0.1.11
Manifest V3
90-day change · In the last 90 days this extension 3 version updates, changed permissions.

History

11 snapshots

Tracking since Apr 1, 2026.

45.8839.533.12Apr 1, 2026Jun 7, 2026
View as table
DateUsersRatingReviewsVersion
Apr 1, 2026430.1.7
Apr 9, 2026440.1.7
Apr 19, 2026340.1.7
Apr 25, 2026373.0010.1.9
May 2, 2026353.0010.1.9
May 9, 2026353.0010.1.10
May 13, 2026343.0010.1.10
May 19, 2026383.0010.1.10
May 25, 2026433.0010.1.10
Jun 1, 2026453.0010.1.10
Jun 7, 2026453.0010.1.11
Now443.0010.1.11

Changelog

  • May 2, 2026
    permissions
    activeTab, storage
    activeTab, storage, scripting
  • Apr 19, 2026
    host_permissions
    https://github.com/**/**/pull/**/files
    (empty)
  • Apr 19, 2026
    permissions
    activeTab
    activeTab, storage

Permissions & access

Permissions
activeTabstoragescripting
Host access
None declared

Screenshots

GitHub PR Tool screenshot 1

About

GitHub PR Tool is a Chrome extension that simplifies file management in GitHub pull requests. Instantly mark all files as viewed or unviewed with a single click—no more repetitive manual actions during code reviews.

How it works:  
    1. Click the extension icon in your Chrome toolbar to open the popup.
    2. Use the two action buttons:
        - Check all files: Marks every file as viewed.
        - Uncheck all files: Unmarks all files in the pull request.

Save time and streamline your review workflow with this fast, convenient tool for GitHub PRs.

Technical

Version
0.1.11
Manifest
V3
Size
11.26KiB
Min Chrome
88
Languages
1
Featured
No

Metadata

ID
ibfdkipjpbbpmjgfknefhabhbgkkaode
Developer ID
u808f2ee01d29a9f9f8fe98a6adb878a6
Developer Email
[email protected]
Created
Oct 11, 2023
Last Updated (Store)
May 26, 2026
Last Scraped
Jun 7, 2026
Website
Privacy Policy

Similar extensions

Alternatives to GitHub PR Tool, ranked by description similarity.

Data sourced from the Chrome Web Store · last verified Jun 7, 2026.