On top of the autogenerated tags and CHANGELOG, we can create GitHub releases. This will keep the GitHub releases in line with our tags.