X-Git-Url: https://git.ozlabs.org/?p=ccan;a=blobdiff_plain;f=Makefile-web;h=10671edc74efa7aa66c806ce25bbe4e4565655bc;hp=d6ea6cc94806857bbee651ec15c735988a093128;hb=614259f13c3e694fcd6b57fc05a329066e43c76d;hpb=5c5cd4b84c0dfac65356979cf13b72c3ea9ae62c

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 .