tweak to replace git:// with https://