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.
olasd | Authored on Dec 1 2021, 4:00 PM |
olasd | Pushed on Dec 1 2021, 5:37 PM |
Buildable 25284 | |
Build 39519: test-and-build | Jenkins console · Jenkins |