GitHub Search Extension

Refined GitHub

Simplifies the GitHub interface and adds useful features Highlights: - Linkifies issue/PR references and URLs in code. - Makes whitespace characters visible. - Reduces tabs’ size to 4 spaces instead of 8. - Adds one-click merge conflict fixers. - Adds reaction avatars showing who reacted to a comment. - Adds a button to revert all the changes to a file in a PR. - Adds a build/CI status icon next to the repo’s name. - Adds a button to view the source of Markdown files. - Shows PRs that touch the current file. - Highlights the most useful comment in conversations. - Shows the first Git tag a merged PR was included in. - Adds a link to an automatic changelog for each tag/release. - Adds possible related pages and alternatives on 404 pages. - Displays the age of the repository in the sidebar. And so much more! 200+ features. See the website for a full list of features. The GITHUB and REFINED GITHUB trademarks are owned by GitHub, Inc. and used under license.

Star History

A chrome extension showing star history graph of current GitHub repository Extension of https://star-history.com. When you visit a GitHub repo, this extension allows you to see its star history.

GitHub Code Folding

Code folding - the ability to selectively hide and display sections of a code - is an invaluable feature in many text editors and IDEs. Now, developers can utilize that same style code-folding while poring over source code on the web in GitHub. Works for any type of indentation, spaces or tabs. v0.1.0 - remove jQuery dependency - use event page instead of permanent background

GitHub DeepWiki Button (Unofficial)

This browser extension adds a convenient "DeepWiki" button to GitHub repository pages, allowing you to quickly access the repository's documentation on DeepWiki. 🛠️ Features: - Seamlessly integrates with GitHub's interface - One-click access to DeepWiki for any GitHub repository - Clean and minimal design following GitHub's UI patterns - Works on all GitHub repository pages 🚀 How to Use: 1. Install the extension 2. Navigate to any GitHub repository 3. Click the "Open in DeepWiki" button in the repository header 4. You'll be redirected to the corresponding DeepWiki page ⚠️ Note: This is an unofficial extension and is not affiliated with GitHub or DeepWiki. It simply provides a convenient way to navigate between GitHub repositories and their corresponding DeepWiki pages. 🔒 Privacy: - No data collection - No tracking - No authentication required - Only requires access to github.com to add the button 💻 The source code is also available, and you can build and install it yourself. For more details, please visit: https://github.com/yamadashy/github-deepwiki