search

micro-editor / plugin-channel

Official plugin channel for micro
226 stars 49 forks source link

Is micro still accepting plugins? #74

Open cadnza opened 3 years ago

cadnza commented 3 years ago

It looks like there may be a bit of a wait between submitting a plugin to the repo and having it accepted. Is micro still merging pull requests with new plugins?

sebkolind commented 3 years ago

I was thinking the same. @zyedidia you have written in the README.md of micro, that it is OK to ping you, so here it goes :)

taconi commented 2 years ago

With that in mind, I forked the repository.

Thinking about it, I forked the repository and added the plugins that were in the PR's Just add the following line to ~/.config/settings.json:

"pluginchannels": [
     "https://raw.githubusercontent.com/micro-editor/plugin-channel/master/channel.json",
     "https://raw.githubusercontent.com/taconi/plugin-channel/main/channel.json"
]
taconi commented 6 months ago

The lsp plugin was added in #85, @zyedidia what would be the reason to ignore the other plugins?

taconi commented 6 months ago

It's good to mention issue zyedidia/micro/#2956 so that whoever arrives here can know that they are trying to resolve this issue, but in a private repository outside the micro-editor org.