[feature request] Automatic deployment from GitHub

[KendallPark]

Hello @espertus !

Thank you for your work on jacquard. I am evaluating it as a potential replacement for our hacky autograder code.

One small improvement I've been able to make on our own autograder setup is automatic deployment from GitHub. This allows the upload of a single zip file which automatically pulls new changes from main whenever it is deployed.

I have sent an invite to a private repo which contains the code. The repo contains a GitHub CLI extension which automatically configures repo-level deploy keys (only works on unix-based OSes at the moment, there is a windows bug) and creates the autograder.zip.

I'd love to discuss jacquard more ([email protected]). Your jacquard-discuss group appears to be private or otherwise inaccessible.