the tag with your GPG key (asks for your GPG password, and you
may need to set GIT_COMMITTER_NAME and GIT_COMMITTER_EMAIL to match
your public-key's setting or this fails.)
+ * Push that tag
* Provide some text for the release announcement (see below).
- If for some reason you lost this message, "make release-publish-message"
- prints it for you.
+ If for some reason you lose this message, "make release-message"
+ prints it again for you.
7) Increment the notmuch version by adding a .1 micro number, commit, and push.