Use origin URLs instead of numeric ids.
Description
Description
Details
Details
- Provenance
vlorentz Authored on Jun 12 2019, 3:05 PM vlorentz Pushed on Jun 13 2019, 2:52 PM - Differential Revision
- D1573: Use origin URLs instead of numeric ids in the Git loader.
- Build Status
Buildable 6195 Build 8545: test-and-build