use https URL for github source