Fix a couple repo URLs that got set to https accidentally