@AndySylvester @help Up to two hours, according to [this post](https://help.micro.blog/t/timing-of-plugin-updates-from-github/944/2). If you want to see your changes in real-time, you can make them via *Design* → *Edit Custom Themes* instead and commit them to git when you're happy with the result.

AndySylvester

@help @manton @sod I have created a new plugin which uses a JSON file that the plugin user needs to edit. How do I indicate that this file exists and provide a way to edit? Is it the includes element in plugin.json?

2023-03-07 20:36

Embed

In reply to

sod

@AndySylvester @help Up to two hours, according to this post. If you want to see your changes in real-time, you can make them via Design → Edit Custom Themes instead and commit them to git when you’re happy with the result.

2023-03-14 07:54

Embed

Micro.blog

Micro.blog