You are reading a single comment by @JumJum and its replies.
Click here to read the full conversation.
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
@JumJum
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