2 Commits

Include renames

Author	SHA1	Message	Date
Jonas Nick	dd78d2b2a1	Add --dry-run option to push-release script	2020-08-18 08:36:19 +00:00
Jonas Nick	c303cd47e4	Add push-release.sh helper ... Prepares, signs and pushes a release to github.	2020-03-30 11:01:31 +02:00