From ef6c48096def410acee51888033128ff117c15cd Mon Sep 17 00:00:00 2001 From: melvin Date: Mon, 9 Apr 2012 22:14:14 +0800 Subject: [PATCH] added rule to push to github --- Makefile | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/Makefile b/Makefile index 4faf3cb801..8ec14c90b6 100644 --- a/Makefile +++ b/Makefile @@ -312,3 +312,8 @@ code_clones: --ignore-identifiers true \ --language java \ --files src/magic/card > $@ + +github/push: + hg gexport + git push origin master +