Skip to content
GitLab

Release script to facilitate the release procedure

Merged Thom Wiggers requested to merge release-script into master

Short description

Allows for convenient releases with basic sanity checking.

Merge request reports