Merge changes Iad120cef,I1f819c51,Ia87e5a80,I95e92c08

* changes:
  repo-pull: Support more git fetch protocols
  repo-pull: Check Gerrit Code Review domain name
  vndk-def: Ignore missing /vendor/default.prop
  vndk-def: Raise unknown vdex version exception