Currently releases are purely manual, which makes it easy to forget to make/push release tags to the repo when a release is cut. Either need a checklist to help make sure all manual steps are carried out, or some very simple CI automation to push releases and make tags, etc.