From: Rusty Russell <rusty@rustcorp.com.au>
Date: Wed, 23 Nov 2011 02:36:00 +0000 (+1030)
Subject: Makefile-web: push to github repo too.
X-Git-Url: http://git.ozlabs.org/?p=ccan;a=commitdiff_plain;h=9428537fd4610afaae3d1bf535ef0a7ee11fa5f7;hp=bc771e48f57e2f2cefdce9c03698e2c19345bc10

Makefile-web: push to github repo too.

Saves me doing it manually.
---

diff --git a/Makefile-web b/Makefile-web
index d6ea6cc9..10671edc 100644
--- a/Makefile-web
+++ b/Makefile-web
@@ -12,6 +12,7 @@ JUNKBALLS=$(JUNKDIRS:%=$(WEBDIR)/%.tar.bz2)
 
 upload: fastcheck
 	git push origin HEAD:master
+	git push github HEAD:master
 
 clean-tree:
 	! git status --porcelain | grep .