[isabelle-dev] Failure to update isabelle repo checkout

[Andreas Lochbihler]

Hi Makarius,

I'm trying to update my local clone of the Isabelle dev repo to the latest tip 
(0a12ca4f3e8d). When I try to run Admin/init -u, I get the error that the components 
cannot be downloaded:

Getting "https://isabelle.sketis.net/components/gnu-utils-20210414.tar.gz"
Failed to download "https://isabelle.sketis.net/components/gnu-utils-20210414.tar.gz"

Is this a known server problem or something wrong on my end?

Best,
Andreas