Based on our record, GitHub Repository Size seems to be more popular. It has been mentiond 1 time since March 2021. We are tracking product recommendations and mentions on various public social media platforms and blogs. They can help you identify which product is more popular and what people think of it.
There's also a chrome extension. Haven't used it though, so can't verify it. Source: about 2 years ago
Cherry Pie - Chrome extension to craft the perfect pull request
Refined GitHub - Browser extension that makes GitHub cleaner & more powerful
Govly - We make selling to the government easy.
Githunt - Explore the top projects on GitHub 🏆
Mergefly - A modern UI for GitHub pull requests
Github++ - Adding bookmarks to github