From 2729eb38cc63006a65adea35325a3ffa76c776d7 Mon Sep 17 00:00:00 2001
From: Tim Nieradzik <tim@sparse.tech>
Date: Fri, 1 May 2020 19:43:18 +0100
Subject: [PATCH] Release: Change name of remote repository

---
 release.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/release.sh b/release.sh
index c175b34..34bd147 100755
--- a/release.sh
+++ b/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