On 2021-03-20 00:37, Helmut K. C. Tessarek wrote: > Just got the following error, even though I can ping source.ffmpeg.org: > > Unexpected error: fatal: unable to connect to source.ffmpeg.org: > source.ffmpeg.org[0: 213.36.253.5]: errno=Network is unreachable > > error: Could not fetch origin > Reproduced here as well. Gyan