Re^2: [OT] Restarting Travis from a pull request

It failed with a probable GitHub hiccup:

fatal: unable to connect to github.com:
github.com[0: 192.30.253.113]: errno=Connection timed out
[download]

map{substr$_->[0],$_->[1]||0,1}[\*||{},3],[[]],[ref qr-1,-,-1],[{}],[sub{}^*ARGV,3]

Comment on Re^2: [OT] Restarting Travis from a pull request Select or Download Code

Replies are listed 'Best First'.
Re^3: [OT] Restarting Travis from a pull request by marto (Cardinal) on Feb 07, 2020 at 11:02 UTC
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.	[reply]