GitHub favorites
With this extension you get a "Favorites" button on every repository page. You can add and delete a repository from your personal favorites list at any time.
A list with your favorites can be found on the dashboard page at GitHub.
For more infos and bug reports please visit the public...
Developer Tools
