rumpkernel: clone from github rather than the official URL

Because, on wheezy:

  $ GIT_SSL_NO_VERIFY=1 HOME=/ git clone http://repo.rumpkernel.org/rumprun
  Cloning into 'rumprun'...
  error: RPC failed; result=22, HTTP code = 501
  fatal: The remote end hung up unexpectedly
  $

strace shows a baroque sequence of redirects etc. involving servers
from rumpkernel.org, github.com, and some kind of gandi.net CDN.

On jessie it seems to just work.  This commit should therefore be
reverted at some point, when all the instances are running jessie or
later.  (Right now the VMs in the Mass colo are mostly wheezy.)

Signed-off-by: Ian Jackson <Ian.Jackson@eu.citrix.com>

diff --git a/ap-common b/ap-common
index 4576ac933f62c581748f17fa665a1b32373a983d..ec6e010a5dfe2210201818833ee51dc1b420cead 100644 (file)
--- a/ap-common
+++ b/ap-common
@@ -41,7 +41,8 @@
 : ${PUSH_TREE_LIBVIRT:=$XENBITS:/home/xen/git/libvirt.git}
 : ${BASE_TREE_LIBVIRT:=git://xenbits.xen.org/libvirt.git}
 
-: ${TREE_RUMPRUN:=http://repo.rumpkernel.org/rumprun}
+: ${TREE_RUMPRUN:=https://github.com/rumpkernel/rumprun}
+# ^ really http://repo.rumpkernel.org/rumprun
 : ${TREEVCS_RUMPRUN:=git}
 : ${BASE_TREE_RUMPRUN:=git://xenbits.xen.org/osstest/rumprun.git}
 : ${PUSH_TREE_RUMPRUN:=$XENBITS:/home/xen/git/osstest/rumprun.git}