HomeSoftware Heritage

Deduplicate origins in the GitHub lister

This commit no longer exists in the repository. It may have been part of a branch which was deleted.

Description

Deduplicate origins in the GitHub lister

In some circumstances, GitHub will return two separate repos with the
same html_url in the same page. This makes the lister fail with a
cardinality error.

Details

Provenance
olasdAuthored on Dec 1 2021, 4:00 PM
olasdPushed on Dec 1 2021, 5:37 PM
Differential Revision
D6716: Deduplicate origins in the GitHub lister
Build Status
Buildable 25284
Build 39519: test-and-buildJenkins console · Jenkins

Commit No Longer Exists

This commit no longer exists in the repository.