removing nonexistent origin for this repo

1 year ago · ee6cad7662
parent 82dd27bd06
commit ee6cad7662
1 changed files with 0 additions and 1 deletions
--- a/1
+++ b/1
@ -99,7 +99,6 @@ all: debug setup dep format lint test bench build dist

 git-push:
 	git push origin main --tags
-	git push github main --tags

 release-major: bump-major git-push