From cfd827bbdd7b06392e8c6963487e49ef227dca91 Mon Sep 17 00:00:00 2001
From: Jeff Carr <jcarr@wit.com>
Date: Fri, 5 Jan 2024 20:14:38 -0600
Subject: [PATCH] use same name for github everywhere

Signed-off-by: Jeff Carr <jcarr@wit.com>
---
 Makefile | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 4250054..539d964 100644
--- a/Makefile
+++ b/Makefile
@@ -25,6 +25,8 @@ update:
 # git branch -M master
 github:
 	git push origin master
+	git push origin devel
 	git push origin --tags
-	git push github2 master
-	git push github2 --tags
+	git push github master
+	git push github devel
+	git push github --tags