changeset 2041:d8bac44781d4

github commands in makefile
author drewp@bigasterisk.com
date Mon, 09 May 2022 21:42:55 -0700
parents d94b2d25abcd
children 8849c9e5da30
files makefile
diffstat 1 files changed, 6 insertions(+), 0 deletions(-) [+]
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: