# HG changeset patch
# User drewp@bigasterisk.com
# Date 1652157775 25200
# Node ID d8bac44781d4872e881ae10c34fc8b846478dc8d
# Parent  d94b2d25abcd94ccaefa97f6b97fb86a818c2688
github commands in makefile

diff -r d94b2d25abcd -r d8bac44781d4 makefile
--- a/makefile	Mon May 09 21:38:04 2022 -0700
+++ b/makefile	Mon May 09 21:42:55 2022 -0700
@@ -68,6 +68,12 @@
 	./configure
 	make
 
+push_github:
+	hg bookmark -r default main && hg push git+ssh://git@github.com/drewp/light9.git
+
+pull_github:
+	hg pull git+ssh://git@github.com/drewp/light9.git
+
 ### build ###
 
 coffee: