Norman Maurer a98293f084 Add workflow to cut releases (#11019) ... Motivation: Doing releases manually is error-prone, it would be better if we could do it via a workflow Modification: - Add workflow to cut releases - Add related scripts Result: Be able to easily cut a release via a workflow		2021-02-11 21:35:36 +01:00
..
finish_release.sh	Add workflow to cut releases (#11019)	2021-02-11 21:35:36 +01:00