RepoHatch for GitHub is a developer tools chrome extension. it's a free extension and is featured in Developer Tools, it has 8 active users since released its first version, it earns an average rating of 0.00 from 0 rated user, last update is 516 days ago.
Note: to activate the extension press the letter `h` and then `tab` in the address bar. This extension will download your GitHub repository names and use fuzzy search to find them so even when you type the names partially right the extension will still be able to find them. You can also choose to access the pull requests, issues or search pages typing the letter "p", "i", or "t" respectively right after the repository name along with an optional filter. Example: some-repository-name p author:felipethome The above command will open the pull requests page of `some-repository-name` with the filter `author:felipethome` applied. This extension is Open Source: https://github.com/felipethome/repo-hatch
You could download the latest version crx file or older version files and install it.
English, português (Brasil).
You could find more help information from repohatch for github support page.
You could send emails to publisher, or check publisher's website.
More about manifest_file of repohatch for github.
You could click to report abuse of repohatch for github.