<@U0B8ZP13Q>: you should write a script that handl...
# kobalt
e
@cedric: you should write a script that handles releases so you never forget to commit before running the uploadGithub task, that way the release tags will stop being out of sync with the version numbers 😉