Release engineering

Jump to bottom

Yuichi Nishiwaki edited this page Dec 17, 2020 · 1 revision

How to make a new release (replace 1.2.1 with an appropriate value):

node scripts/release.js 1.2.1
(...get approval from other contributors and merge it at github...)
git pull
git tag -a 1.2.1
git push --tags
opam publish --repo na4zagin3/satyrographos-repo

Clone this wiki locally