GitHub Mention Highlighter
Highlight user and team mentions on GitHub
Rating: 5
|
Version: 0.2.1
|
Size: 201KiB
|
Language(s): English (United States)
Rating history
Rating count & user count history
Similar extensions
| name | rating | # ratings | # users | categories | description | version | updated | |
|---|---|---|---|---|---|---|---|---|
Dashboard filter for GitHub | 4.5 | 6 | 516 | Workflow & Planning | This adds an activity filter menu to GitHub dashboard. | 0.8.8 | December 12, 2022 | view details → |
Github-FileViewer | - | 0 | 13 | Developer Tools | Adds a file viewer to Github pull request and commit diffs. | 0.0.12 | March 3, 2022 | view details → |
Github compare tags | 5 | 1 | 56 | Developer Tools | Adds tags to the compare page of Github. | 0.0.6 | June 1, 2019 | view details → |
Helper for GitHub notifications in Gmail | 5 | 7 | 390 | Workflow & Planning | Add links to GitHub threads and shortcuts to your Gmail interface. | 0.8.3 | June 1, 2021 | view details → |
GitHub Pre Utility | 5 | 1 | 74 | Developer Tools | Try this features at http://yoheimuta.github.io/github-pre-utility/ before installing it. - You can read github issues and gists… | 0.1.0 | July 4, 2015 | view details → |
First Mention | 5 | 4 | 62 | Tools | See the first time a name was mentioned in the article you’re reading with a single click | 2.0 | June 3, 2024 | view details → |
Hubnav | - | 0 | 13 | Workflow & Planning | Navigate GitHub.com via keyboard shortcuts. | 0.1.0 | April 6, 2019 | view details → |
Github Minus 1 | 5 | 1 | 1 | Developer Tools | Removes all +1 and :+1 comments from Github issues and pull requests | 1.0 | September 22, 2013 | view details → |
Mark Wrap | 3.7 | 3 | 40 | Workflow & Planning | This extension wraps the selected text in a markdown link with the contents of the clipboard | 0.1 | September 24, 2015 | view details → |
Github Show Avatar | 5 | 6 | 81 | Developer Tools | Show avatars in pull requests and issue pages | 1.0.4 | May 2, 2022 | view details → |
GitHub Red Alert | - | 0 | 16 | Workflow & Planning | Changes the notification icon to red if you have participating notifications | 0.11 | December 10, 2015 | view details → |
Boxcutter | 5 | 1 | 195 | Developer Tools | Better package manifests on Github | 9 | May 4, 2018 | view details → |
GitHub Selfies | 4.7 | 24 | 337 | Social Networking | Selfies! For GitHub! Hooray! | 2.0.7 | July 12, 2020 | view details → |
GitHub Real Names | 3.7 | 11 | 647 | Developer Tools | Use real names on GitHub | 1.3.1 | August 19, 2020 | view details → |
Stacker | 5 | 1 | 30 | Developer Tools | Stacked pull requests for Github | 0.3.0 | January 26, 2018 | view details → |
Pretty Pull Requests (Github) | 4 | 21 | 1k | Developer Tools | This extension applies various tweaks to the github pull-request code review pages. | 2.11.1 | January 31, 2018 | view details → |