Question from a teacher I thought would be to hear from the group, esp @danwallach.
Travis CI has a convention of letting you put
[skip ci]
in commit messages in order to disable deployment for a commit. Might you or any of the team know of any other tools that have commit message-based conventions? We’re considering adopting something similar as we open-source our new auto-grading infrastructure and are just looking to be as conventional as possible.