20 Dec
2020
20 Dec
'20
6:34 p.m.
On 12/20/20 7:26 PM, Morten Linderud via arch-general wrote:
There was some devops work on the server and the timer/services synching the repositories where probably not enabled. Thus they died after a reboot. The services are enabled and started so you should see the repo synching again.
Thanks a lot for all your efforts in maintaining these important services :) I'm also using that one whenever I need to build older versions of packages for comparison or make manual changes, and it's good to know it hasn't been replaced by GitHub, at least yet :) I don't like being dependent on huge commercial services, but you might know that already judging from my previous posts on that matter ;) So good news, thanks a lot! Regards, LuKaRo