HomeSoftware Heritage

GitHub: handle Server Errors

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

Description

GitHub: handle Server Errors

These errors happen, sometimes, when requesting large pages of results.

Details

Provenance
olasdAuthored on Feb 25 2021, 9:13 PM
olasdPushed on Mar 22 2021, 10:55 AM
Differential Revision
D5152: Production-readiness improvements for the GitHub lister
Build Status
Buildable 20048
Build 31123: test-and-buildJenkins console · Jenkins

Commit No Longer Exists

This commit no longer exists in the repository.