Right now, we have to manually change the version number, apply tags in the repository and switch back to the dev version. It would be nice to have this process automated and to include a release drafter.