Comment (by Roland Haas):

This happened as well during the ET ICERM workshop on 2020-09-18 with ExternalLibraries/MPI hosted on github. It seems github does not return an error message that GetComponents identifies and one ends up with no error message but one repository short since MPI ends up being an empty repository (but not fully missing).

Might be an rate limit issue on GitHub’s end.

--
Ticket URL: https://bitbucket.org/einsteintoolkit/tickets/issues/2396/potential-issue-with-github-svn-checkouts