no github

Signed-off-by: Jeff Carr <jcarr@wit.com>
2024-01-03 15:19:18 -06:00
1 changed files with 3 additions and 0 deletions
--- a/3
+++ b/3
@ -32,3 +32,6 @@ push:
 	git add --all
 	git commit -a -s
 	git push
+
+github:
+	@echo "IPv6 only. Do not mirror on github"