#160 - Attach changelog to GitHub release.

2020-11-22 15:12:42 +01:00
parent 8e5601dc64
commit e1f220fe25
13 changed files with 688 additions and 54 deletions
--- a/release-tools/readme.md
+++ b/release-tools/readme.md
@@ -48,6 +48,8 @@ $ release build $trainIteration
 $ release conclude $trainIteration
 $ git push $trainIteration
 $ git push $trainIteration --tags
+# After GitHub issues migration:
+# github push $trainIteration
 $ git backport changelog $trainIteration --target $targets
 $ foreach $target -> git push $target
 ```