Ignore potential error codes from Github in doing a clone. Fixes #6049.