Removing is not a good solution for me.
I'm one of the guys mentioned by you, having their own idea from time to time.
And since my server is not dedicated for my tool, ...
Looke like I'll need something like an "provision.sh-changed-event" and do the job manually.
I'm pretty sure, this will not happen very often.
May be https://app.github-file-watcher.com/ is a solution
© Espruino, powered by microcosm.
Report a problem