Norman Maurer fe041e8e43 Close and release the staging repository at the end ... Motivation: We can just close and release the staging repository at the end and so remove the extra manual steps Modification: Execute extra goals for close and release Result: Less manual actions needed for release		2021-02-18 08:38:42 +01:00
..
finish_release.sh	Close and release the staging repository at the end	2021-02-18 08:38:42 +01:00