Release

Jump to bottom Edit New page

Felipe Contreras edited this page Apr 24, 2024 · 7 revisions

Steps to make a release:

Run make doc (you'll need tomdoc.sh)
Update the CHANGELOG.md
Update GitHub Pages' branch (gh-pages)
Bump SHARNESS_VERSION
Sign the tag: git tag -s -m 'Release 1.x' v1.x
Verify the tarball of the tag and do gpg --armor --detach-sign v1.x.tar.gz
Make a GitHub Release in: releases/new
Write an announcement to the Git mailing list example.