Page MenuHomeSoftware Heritage

Use origin URLs instead of numeric ids in the Git loader.
ClosedPublic

Authored by vlorentz on Jun 12 2019, 3:06 PM.

Details

Summary

Note that the loader-core still uses origin ids, but it will allow
a smooth migration for the git loader when I'll remove ids from the
loader-core.

Diff Detail

Repository
rDLDG Git loader
Branch
no-origin-id
Lint
No Linters Available
Unit
No Unit Test Coverage
Build Status
Buildable 6162
Build 8494: tox-on-jenkinsJenkins
Build 8493: arc lint + arc unit