removing backwards incompatible git setting; changing https:// urls to git://