default.xml: switch to git protocol from https