pd4d10/octohint

Adding octohint to refined github

ocombe opened this issue · 1 comments

Hello, this extension is super cool, would you consider adding it to refined github? https://github.com/sindresorhus/refined-github

I think it is better to be an individual extension because of its complexity. There are several language services running at background, and the total JS bundle size is about 1M after compression

As Octohint is licensed under MIT, you can take the code and submit a PR to it if you want :)