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
Lint
Automatic diff as part of commit; lint not applicable.
Unit
Automatic diff as part of commit; unit tests not applicable.