Subject: bug#41870: closed (Re: [bug#41870] [PATCH 0/2] Allow '.guix-channel' to advertise the primary URL)

From: [email-masked] (GNU bug Tracking System)
Date: Wed, 17 Jun 2020 17:35:02 +0000

Your bug report

#41870: [PATCH 0/2] Allow '.guix-channel' to advertise the primary URL

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

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

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

Subject: Re: [bug#41870] [PATCH 0/2] Allow '.guix-channel' to advertise the primary URL
From: Ludovic Courtès <[email-masked]>
To: [email-masked]
Date: Wed, 17 Jun 2020 19:33:47 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Ludovic Courtès <[email-masked]> skribis:

>   channels: Warn when pulling from a mirror.
>   .guix-channel: Add primary URL.

Pushed as 8b1f7c03d239ca703b56f2a6e5f228c79bc1857e.

Ludo’.

Subject: [PATCH 0/2] Allow '.guix-channel' to advertise the primary URL
From: Ludovic Courtès <[email-masked]>
To: [email-masked]
Cc: Ludovic Courtès <[email-masked]>
Date: Mon, 15 Jun 2020 17:12:01 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi!

As discussed in <https://issues.guix.gnu.org/issue/22883#69>, this
patch provides a way for channel authors to state what the primary
URL of their channel is.  The goal here is simply to warn users
when they are pulling from a mirror so that they cannot be tricked
into pulling from a stale mirror.

This goes on top of <https://issues.guix.gnu.org/41767>.

Thoughts?

Ludo’.

Ludovic Courtès (2):
  channels: Warn when pulling from a mirror.
  .guix-channel: Add primary URL.

 .guix-channel     |  3 ++-
 doc/guix.texi     | 22 ++++++++++++++++++++++
 guix/channels.scm | 29 +++++++++++++++++++++++++----
 3 files changed, 49 insertions(+), 5 deletions(-)

-- 
2.26.2