[Koha] git.koha.org down

Hi all git.koha.org appears to be down at the moment (for a couple of hours now). I'm guessing Liblime are aware of it and are working on getting it back up. In the meantime http://repo.or.cz/w/koha.git is up to date. Maybe we need to think about shifting git.koha.org to a different server? Chris