diff makefile @ 2041:d8bac44781d4

github commands in makefile
author drewp@bigasterisk.com
date Mon, 09 May 2022 21:42:55 -0700
parents 5154f5a23e85
children f8a5f579547a
line wrap: on
line diff
--- 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: