4 ms·
Idea: Github should allow "plugin repositories" that can be shared or private. The first iteration would have some way to provide file type viewers. A file un
by breckinloggins 13y ago
Idea: Github should allow "plugin repositories" that can be shared or private.
The first iteration would have some way to provide file type viewers. A file under filetype/viewer.js.js would replace github's default JavaScript viewer (itself simply published as a repository that just happens to be the top node). You could start your own customizations by forking that repository. If you develop a viewer/editor/future plugin component that you think the world should use, send it in as a pull request to the canonical repo.
The other thing I think github should do is go the JetBrains Upstream / Google Grok (if it ever happens) route and provide syntactic / semantic analysis as a service, from which all these visualizers, editors, and other tools are built.