Subject: Re: bug#41800: guix lint doesn't catch apache mirror-url

From: Ludovic Courtès <[email-masked]>
Date: Thu, 11 Jun 2020 23:17:56 +0200

Hello,

Efraim Flashner <[email-masked]> skribis:

> There is a mirror://apache download option which isn't caught by 'guix
> lint -c mirror-url'.

Do you have an example to reproduce it?

Thanks,
Ludo’.