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

From: [email-masked] (GNU bug Tracking System)
Date: Sun, 14 Jun 2020 13:53:02 +0000

Your bug report

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

which was filed against the guix package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to [email-masked].

-- 
41800: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=41800
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: Re: bug#41800: guix lint doesn't catch apache mirror-url
From: Ludovic Courtès <[email-masked]>
To: Efraim Flashner <[email-masked]>
Cc: [email-masked]
Date: Sun, 14 Jun 2020 15:52:03 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi,

Efraim Flashner <[email-masked]> skribis:

> On Thu, Jun 11, 2020 at 11:17:56PM +0200, Ludovic Courtès wrote:
>> 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?
>
> It turns out I made a mistake while changing the sources over to mirrors
> and I'm fixing that now, but if you change serf's source URI back to
> "https://archive.apache.org/dist/serf/serf-" version ".tar.bz2"
> then it should suggest changing it to
> "mirror://apache/serf/serf-" version ".tar.bz2"

OK, closing!

Ludo’.

Subject: guix lint doesn't catch apache mirror-url
From: Efraim Flashner <[email-masked]>
To: [email-masked]
Date: Thu, 11 Jun 2020 11:38:13 +0300
List-Id: <debbugs-submit.debbugs.gnu.org>

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

-- 
Efraim Flashner   <[email-masked]>   אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted