Thanks, missed that. Some searching shows this not to be isolated, with the suggestion of switching to https rather than git://, to avoid timeouts (apparently), weird proxy configs etc.
In reply to Re^3: [OT] Restarting Travis from a pull request
by marto
in thread [OT] Restarting Travis from a pull request
by syphilis
| For: | Use: | ||
| & | & | ||
| < | < | ||
| > | > | ||
| [ | [ | ||
| ] | ] |