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
..
check_build_result.sh	Use custom script to check for build failures (#10968)	2021-01-27 12:02:24 +01:00
check_leak.sh	Let script fail if one command fail (#10945)	2021-01-15 16:47:49 +01:00
merge_local_staging.sh	Add workflow to cut releases (#11019)	2021-02-11 21:35:36 +01:00
release_checkout_tag.sh	Add workflow to cut releases (#11019)	2021-02-11 21:35:36 +01:00
release_rollback.sh	Add workflow to cut releases (#11019)	2021-02-11 21:35:36 +01:00