55: Fix for missing tags/releases from Gitea and GitHub project hosting.

2018-01-17 20:27:09 -08:00
parent 389778c716
commit cc1d6f53a0
3 changed files with 8 additions and 2 deletions
--- a/scripts/release
+++ b/scripts/release
@@ -2,6 +2,11 @@

 set -e

+version=$(head --lines=1 NEWS)
+git tag $version
+git push origin $version
+git push github $version
+
 rm -fr dist
 python3 setup.py bdist_wheel
 python3 setup.py sdist