change git repository clone URIs from git:// to https:// (#3732)

Change-Id: Ic700fec9cfb8e8474fb65dbdd4a1a537bf586ec9