What about setting up a GitHub organization, and an official website for micro? This way, we could have something like http://micro-editor.github.io (does not exist yet) and would help for publicity of the project.
I could help work on the design and code of the website. (I've worked on many open source project sites, like Minetest's.)
I could help as well, furthermore an organization could have a repo with unofficial plugins, syntax files, colorschemes, etc.
I agree with @onodera-punpun as I think that having a central repo would be verry helpfull for users and/or modders/themers to use/promote there plugins/themes
I've been working on a website for micro at https://micro-editor.github.io and I think it's just about done.
Most helpful comment
I've been working on a website for micro at https://micro-editor.github.io and I think it's just about done.