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

2020-06-14 Thread Ludovic Courtès
Hi, Efraim Flashner skribis: > On Thu, Jun 11, 2020 at 11:17:56PM +0200, Ludovic Courtès wrote: >> Hello, >> >> Efraim Flashner 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? > >

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

2020-06-12 Thread Efraim Flashner
On Thu, Jun 11, 2020 at 11:17:56PM +0200, Ludovic Courtès wrote: > Hello, > > Efraim Flashner 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? It turns out I made a mistake while changing

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

2020-06-11 Thread Ludovic Courtès
Hello, Efraim Flashner 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’.

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

2020-06-11 Thread Efraim Flashner
There is a mirror://apache download option which isn't caught by 'guix lint -c mirror-url'. -- Efraim Flashner אפרים פלשנר GPG key = A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351 Confidentiality cannot be guaranteed on emails sent or received unencrypted signature.asc Description: PG