Grepsearch - Githubissues

micro-editor / plugin-channel

Official plugin channel for micro

226 stars 49 forks source link

Open gaenseklein opened 10 months ago

gaenseklein commented 10 months ago

This is a

Plugin name and version: grepsearch v1.0.0

Plugin source code zip file: zipfile.

Checklist:

[x] Plugin has a repo.json listing the Name, Description, Website, and License.
[x] I have read the instructions at https://github.com/micro-editor/plugin-channel#adding-your-own-plugin.

taconi commented 6 months ago

Hello, your repo.json does not have the License field, could you add this metadata?

It was missing from the README.md table, could you solve this?

taconi commented 6 months ago

@dmaluka @JoeKar @dustdfg @Andriamanitra @zyedidia Could someone do the merge?