@Undo There is a new SD revision to pull. You'll also need to install phonenumbers because that's used in Andy's pull request.
@Andy I was able to merge your pull request, thanks for suggesting it!
I only had to make some minor modifications to make it work, such as renaming the phonenumbers method (because that name was the same as the module name) and adding an else statement in which I return False.
@Undo My idea is to create a script that watches for new commits (either through webhooks or the deployment API, both from GH), and then do a git pull, kill the old version of ws.py and restart ws.py.