default.xml: change to git protocol instead of https