Hi all, after putting this off for ages I've contacted Fedora Infrastructure to have our hosting moved to git. Not exactly sure of the timing, but I'll let you all know when it's done. https://fedorahosted.org/fedora-infrastructure/ticket/3168 Cheers, Jeff.