Use https URL to make Github happy