crescendo The release procedure is described in the wiki: https://github.com/crescendotool/crescendo/wiki/Release