FWIW, there are intermittent github connectivity issues (just experienced
some where my repos were reported as non-existent).

-r

Reply via email to