added rule to push to github

2012-04-09 22:14:14 +08:00 · 2012-04-09 22:14:14 +08:00 · ef6c48096d
parent 9a676b0489
commit ef6c48096d
1 changed files with 5 additions and 0 deletions
--- a/5
+++ b/5
@ -312,3 +312,8 @@ code_clones:
 			--ignore-identifiers true \
 			--language java \
 			--files src/magic/card > $@
+
+github/push:
+	hg gexport
+	git push origin master
+