Changed protocols of git sources to https