El mar., 30 abr. 2019 a las 13:03, Simon Proctor (<simon.proc...@gmail.com>) escribió:
> Oooh. How would I do that? > There's a phase-timeout option for zef, such as --fetch-timeout I'm not sure if that applies to repos, though... I seem to remember somebody mentioned, maybe in the IRC channel, another option, but can't remember right now which one... JJ