▮ExtDB
API & MCP

RepoHide

Hide archived repos in Github

As of May 2026, RepoHide has 7 users in the Developer Tools category.

Mike FrancisDeveloper Tools
Chrome Web Store ↗.crx
Usersup 16.7 percent+16.7%
7
7
Ratingno change0%
—
— reviews
Reviewsno change0%
—
Version
1.0.0
Manifest V3

History

1 snapshots

Tracking since Apr 25, 2026.

7.086.55.92Apr 25, 2026May 22, 2026
View as table
DateUsersRatingReviewsVersion
Apr 25, 20266——1.0.0
Now7——1.0.0

Permissions & access

Permissions
activeTabscripting
Host access
None declared

Screenshots

RepoHide screenshot 1

About

RepoHide hides archived repositories from your GitHub list. Works with both private and public repositories, allowing you a cleaner view.

Technical

Version
1.0.0
Manifest
V3
Size
930KiB
Min Chrome
88
Languages
1
Featured
No

Metadata

ID
fmpfklaenlcnjihhloamfleddplocjem
Developer ID
u73b18adc45d6de8a8fbba606f0dbbca1
Developer Email
[email protected]
Created
Apr 24, 2023
Last Updated (Store)
Apr 25, 2023
Last Scraped
May 22, 2026
Website
—
Privacy Policy
—

Similar extensions

Alternatives to RepoHide, ranked by description similarity.

GitHub Archive Filter
Automatically add q=archived:false to repository listings to hide archives
4
QuickVis
Quickly change your own GitHub repositories between public and private using secure OAuth authentication.
8
★ 5.0
GitHub PublicBadge Remover
Remove Public badges from github
—
Hide Whitespace on Github PR
Automatically hides whitespace changes in GitHub pull requests for specified repositories.
23
Repository Tracker
Repository Tracker allows you to track issues and pull requests in your favorite GitHub repositories.
5
GitHub PR File Hider Button
Adds a button to hide individual files in GitHub Pull Request reviews.
—
RepoLens
Scan any webpage for GitHub repo links and see repo health at a glance — last update, stars, archived status, and more.
1
GitHub Profile Cleaner
Hide sections on GitHub profiles for a cleaner look.
31

Data sourced from the Chrome Web Store · last verified May 22, 2026.