Release: Change name of remote repository

Author: tindzk

release.sh

@@ -5,7 +5,7 @@ set -x
 version=$1
 
 /usr/bin/git tag -f $version
-/usr/bin/git push origin :refs/tags/$version
-/usr/bin/git push origin && /usr/bin/git push origin --tags
+/usr/bin/git push public :refs/tags/$version
+/usr/bin/git push public && /usr/bin/git push public --tags
 
 echo See http://ci.sparse.tech/tindzk/seed for status