adding repfiles plugin

[gaenseklein]

This is a

• New plugin.
• Update to an existing plugin.

Plugin name and version: repfiles v1.0.0

Plugin source code zip file: https://github.com/gaenseklein/repfiles/archive/refs/tags/v1.0.0.zip

Checklist:

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

---

plugin repo is
https://github.com/gaenseklein/repfiles

glad to share it. makes fun to work with. no mouse-support as i cant get the mouse-events to work in lua plugins (filemanagers mouse-support also does not work)

[taconi]

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

[taconi]

All that remains is to know when it will be merged.

[taconi]

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

[gaenseklein]

as the pr has some time right now there is also a newer version of repfiles then the published version linked above.
the zip to the new version is available in version 1.1.0

i could alter this pull request to the newer version if wanted or state another one later on for the update. i dont know what you would prefer here.
glad to share this plugin, i use it all the time.

[taconi]

You can update the PR with the new link one without any problems.
But you can later in another PR, it's your preference.