Failed ingestion of a GitHub repository
The ingestion of the repository at https://github.com/sosy-lab/sv-benchmarks appears to fail systematically
It is important to understand what is going wrong here (unfortunately the admin console does not show anything useful, apart from "failed"), see image.
Migrated from T2926 (view on Phabricator)