seabios: Switch from git:// to https://

Currently git.seabios.org is down.  https is better anyway.

CC: Anthony PERARD <anthony.perard@citrix.com>
Signed-off-by: Ian Jackson <Ian.Jackson@eu.citrix.com>

diff --git a/ap-common b/ap-common
index 5e7cfdec729fcc10e45c6e94341f8be75212bf70..a967ac648cb44d45884f09796dd022a896a20298 100644 (file)
--- a/ap-common
+++ b/ap-common
@@ -47,7 +47,7 @@
 : ${BASE_TREE_RUMPRUN:=git://xenbits.xen.org/osstest/rumprun.git}
 : ${PUSH_TREE_RUMPRUN:=$XENBITS:/home/xen/git/osstest/rumprun.git}
 
-: ${TREE_SEABIOS_UPSTREAM:=git://git.seabios.org/seabios.git}
+: ${TREE_SEABIOS_UPSTREAM:=https://git.seabios.org/seabios.git}
 : ${PUSH_TREE_SEABIOS:=$XENBITS:/home/xen/git/osstest/seabios.git}
 : ${BASE_TREE_SEABIOS:=git://xenbits.xen.org/osstest/seabios.git}