Re: Fwd: Cabal/ | Repository mirroring paused

Actually it looks like mirroring is still paused. [image: image.png] > Pull mirroring failed Jul 5, 2023, 12:11 AM. > Repository mirroring has been paused due to too many failed attempts. It can be resumed by a project maintainer or owner. > Las

Re: Fwd: Cabal/ | Repository mirroring paused

I... am not exactly sure what happened. But I "turned it off and turned it on again" and it seems to be syncing now. On Mon, 10 Jul 2023 at 10:32, Mikolaj Konarski wrote: > > Actually it looks like mirroring is still paused. > > Indeed. The pipeline is green, but it stopped updating > at around

Re: Your vision for the future of Cabal subsystems

There are two distinct user groups that need different tools: app developers and library developers. Note 1: As an industry programmer, I have noticed that people tend to start out as app developers, and only progress to being a library developer after some experience and career advancement. Acade