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.
- Parents
- rDLDGf979cb0c7b91: tox: workaround to pip's inability to properly solve dependency resolution
- Branches
- Unknown
- Tags
- References
- tag: v0.0.49
- Build Status
Buildable 6195 Build 8545: test-and-build