
Refined GitHub
Board for Github
GitZip
Enhanced GitHub
GitHub Hovercard
GitHub
GitHub File Icon
Octotree
devmarks.io
Pinboard
Larder weekly GitHub updates
Raindrop.io
devmarks.io automatically syncs with developer-centric sites to consolidate data from across the internet. Whether you star a GitHub repo, favorite a new tool on Hacker News, bookmark an article on Pinboard.in, or like a Tweet with a link to a new product, devmarks.io will collect that activity and present it all in one intuitive interface.
devmarks.io also retrieves metadata and tags from dev.to articles, 10 different package repositories, Gists, and GitHub code repos.
Refined GitHub
devmarks.ioNo features have been listed yet.
Based on our record, Refined GitHub seems to be a lot more popular than devmarks.io. While we know about 17 links to Refined GitHub, we've tracked only 1 mention of devmarks.io. 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 already something like this for GitHub: https://github.com/refined-github/refined-github. - Source: Hacker News / 3 months ago
The refined github extension[0] has some defaults that make the default view a little more tolerable. Past that I can personally recommend Renovate, which supports far more ecosystems and customisation options (like auto merging). [0]: https://github.com/refined-github/refined-github. - Source: Hacker News / 5 months ago
Refined-GitHub > Highlights > Adding comments: https://github.com/refined-github/refined-github#writing-comments. - Source: Hacker News / 9 months ago
Refined GitHub addresses these issues with a lot of improvements that can make GitHub more productive. Some great features that it has:. - Source: dev.to / about 1 year ago
The Refined GitHub extension [1] automatically hides comments that add nothing to the discussion. [2] [1] https://github.com/refined-github/refined-github. - Source: Hacker News / over 1 year ago
Honestly, I donโt think itโs worth implementing Elasticsearch until you have hundreds of thousands of records or you need something search engine specific (i.e. facets). The full-text search in Postgres is really fast these days. Or if you want a library, Iโve been using https://pypi.org/project/django-watson/ on https://devmarks.io and itโs been working great so far. Source: about 4 years ago
Board for Github - A webview based GitHub project app with native features
Pinboard - Pinboard is a personal archive for things you find online and don't want to forget.
GitZip - Download or create a download link for a GitHub project folder/sub-folder or file.
Larder weekly GitHub updates - Get weekly release notes for your GitHub starred repos
Enhanced GitHub - :rocket: Chrome extension to display size of each file, download link and copy file contents directly to clipboard - softvar/enhanced-github
Raindrop.io - All your articles, photos, video & content from web & apps in one place.