Adds (tentative) GITHUB-HANDLER.
Also fixes the delete restart case, which indeed turned out to be busted.