emacs-bug-tracker
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#41870: closed ([PATCH 0/2] Allow '.guix-channel' to advertise the pr


From: GNU bug Tracking System
Subject: bug#41870: closed ([PATCH 0/2] Allow '.guix-channel' to advertise the primary URL)
Date: Wed, 17 Jun 2020 17:35:02 +0000

Your message dated Wed, 17 Jun 2020 19:33:47 +0200
with message-id <87pn9xppfo.fsf@gnu.org>
and subject line Re: [bug#41870] [PATCH 0/2] Allow '.guix-channel' to advertise 
the primary URL
has caused the debbugs.gnu.org bug report #41870,
regarding [PATCH 0/2] Allow '.guix-channel' to advertise the primary URL
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
41870: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=41870
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
--- Begin Message --- Subject: [PATCH 0/2] Allow '.guix-channel' to advertise the primary URL Date: Mon, 15 Jun 2020 17:12:01 +0200
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




--- End Message ---
--- Begin Message --- Subject: Re: [bug#41870] [PATCH 0/2] Allow '.guix-channel' to advertise the primary URL Date: Wed, 17 Jun 2020 19:33:47 +0200 User-agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux)
Ludovic Courtès <ludo@gnu.org> skribis:

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

Pushed as 8b1f7c03d239ca703b56f2a6e5f228c79bc1857e.

Ludo’.


--- End Message ---

reply via email to

[Prev in Thread] Current Thread [Next in Thread]