replace git:// by https:// in repos
Merge remote-tracking branch 'kali/fix-dev-repos' into develop