The KRL developer will be coding using an IDE, and when they save/publish their code to a URL, we ought to send an HTTP POST to the engine at that route
One difficulty when using GitHub is that after pushing a change, it can take some time (often several minutes) for the new raw URL to incorporate the change.
The KRL developer will be coding using an IDE, and when they save/publish their code to a URL, we ought to send an HTTP POST to the engine at that route