Page MenuHomeSoftware Heritage

Fix mismatch between origins and head_revs.
ClosedPublic

Authored by vlorentz on Feb 14 2019, 3:11 PM.

Details

Summary

The fix in 2354d9bb313b was buggy, but this was not caught by tests
because of another bug, fixed in 795bc1daca3e.

Diff Detail

Repository
rDCIDX Metadata indexer
Branch
missing-origin-head-mismatch
Lint
No Linters Available
Unit
No Unit Test Coverage
Build Status
Buildable 4252
Build 5614: tox-on-jenkinsJenkins
Build 5613: arc lint + arc unit