From ee6cad766293d0a80ef0304a36cdf6b836d0e659 Mon Sep 17 00:00:00 2001
From: Nick Dumas <nobodys@business.com>
Date: Mon, 3 Jul 2023 09:58:43 -0400
Subject: [PATCH] removing nonexistent origin for this repo

---
 Makefile | 1 -
 1 file changed, 1 deletion(-)

diff --git a/Makefile b/Makefile
index 1673353..ce7c398 100644
--- a/Makefile
+++ b/Makefile
@@ -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