Closed jefgen closed 4 years ago
GitHub adds a nice "hover card" when you mouse over PR titles.
For example:
However, the extension currently breaks this. :(
Fixed with PR #8.
GitHub adds a nice "hover card" when you mouse over PR titles.
For example:![github-hovercard](https://user-images.githubusercontent.com/29107334/72769939-43257580-3bb1-11ea-87f4-6a05ae646d4b.png)
However, the extension currently breaks this. :(