Adapt to https: git URLs