Our own git server might stay outdated as it is switching to the new server.
Outages should be expected until the end of this week. You can temporarily
switch to the mirrors on Sourcehut to avoid repository issues.

--
Best Regards,
Cem Keylan