for a proper release workflow, everything must be written on dev
(including tag) before being merged to main. This prevents main to
containing commits that are not in dev

ornanovitch authored 8 months ago and ornanovitch committed 5 months ago

chore: release protocol

Closes #128

See merge request !84