Jonas Nick c303cd47e4
Add push-release.sh helper
Prepares, signs and pushes a release to github.
2020-03-30 11:01:31 +02:00
..
2020-03-30 11:01:31 +02:00