replace git:// by https:// in repos