GitHub Extra Features – Developer Productivity Tools
Enhance GitHub with copy branch button, indent control, whitespace toggle, highlights, and quick file downloads.
As of June 2026, GitHub Extra Features – Developer Productivity Tools has 2 users in the Developer Tools category.
Usersno change0%
2
2
Ratingno change0%
—
— reviews
Reviewsno change0%
—
Version
1.0.0
Manifest V3
History
4 snapshotsTracking since Apr 19, 2026.
View as table
| Date | Users | Rating | Reviews | Version |
|---|---|---|---|---|
| Apr 19, 2026 | — | — | — | 1.0.0 |
| Apr 24, 2026 | — | — | — | 1.0.0 |
| Jun 1, 2026 | — | — | — | 1.0.0 |
| Jun 7, 2026 | 1 | — | — | 1.0.0 |
| Now | 2 | — | — | 1.0.0 |
Permissions & access
- Permissions
- None declared
- Host access
- <all_urls>
Screenshots
About
Looking for practical tools to improve your GitHub workflow? GitHub Extra Features enhance the GitHub interface with useful additions designed to improve code readability and accessibility. It adds a one-click copy of branch name button, indent size control, and a visible whitespace toggle to make working with code easier. The extension also highlights magic numbers in code and keeps highlights consistent despite GitHub’s dynamic loading. For faster access, it adds download buttons directly to file rows. Additionally, it includes a dyslexia-friendly font option and UI improvements to maintain stability across GitHub updates. Key Features 1) Code Readability Tools Includes indent size control, whitespace toggle, and magic number highlighting. 2) One-Click Branch Copy Adds a button to quickly copy the branch name. 3) Quick File Downloads Adds download buttons directly to file rows. 4) Accessibility & Stability Enhancements Provides a dyslexia-friendly font option and stable UI improvements across updates. How to Use Step 1: Install the Extension Add the extension to your browser. Step 2: Open GitHub Visit any GitHub repository or code page. Step 3: Use the Added Tools Copy branch names, adjust indent size, toggle whitespace, or download files directly. Step 4: Customize for Readability Enable highlights and the dyslexia-friendly font option as needed. Why It Is Useful This extension is useful because it enhances GitHub with practical tools that improve code readability, accessibility, and quick file access while maintaining stability even with dynamic loading and platform updates. Target Audience |It benefits developers and GitHub users who want better readability, faster access to files, and additional interface controls while working with code.
Technical
- Version
- 1.0.0
- Manifest
- V3
- Size
- 24.12KiB
- Min Chrome
- 88
- Languages
- 1
- Featured
- No
Metadata
- ID
- bgjkikkbkmljglfciljjdmhliphhkgfh
- Developer ID
- u7eca8ea07c2f0628c728e933a65a10ca
- Developer Email
- [email protected]
- Created
- Mar 8, 2026
- Last Updated (Store)
- Apr 24, 2026
- Last Scraped
- Jun 7, 2026
- Website
- —
- Support URL
- —
Similar extensions
Alternatives to GitHub Extra Features – Developer Productivity Tools, ranked by description similarity.
GitHub Helper
Enhanced GitHub experience with file filtering and productivity tools for developers
4
Open Developer Tools
Supercharge your development workflow with the ultimate developer productivity extension!
66
★ 5.0
GitRepoTools
Essential tools for GitHub repositories - Web IDE integration, documentation, and repository insights
11
GitHub Hyper
A Chrome extension that enhances GitHub's user interface with helpful features.
1
Wide GitHub
Makes GitHub wide on Google Chrome. Supports GitHub, private Gists, GitHub Enterprise, and custom domains (TLDs).
55
★ 5.0
GitHub Repo Code Stats
Elevate your GitHub browsing experience with the Github Repo Code Stats Chrome extension!
What does it do?
When you're viewing a…
29
GitFlex - UX Enhancements for GitHub
GitHub UX enhancements for PRs, issues, and projects: top bar tools, split preview, parent issue tracking, and automation.
19
★ 5.0
Faster PR
Personalize and copy a branch name, commit message, or pull request description (compatible with GitHub/GitLab/Trello/Jira/Monday).
1
Data sourced from the Chrome Web Store · last verified Jun 7, 2026.