GNU bug report logs - #57916
[PATCH core-updates] gnu: xkeyboard-config: Switch to Github repo.

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 57916 in the body.
You can then email your comments to 57916 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Felix Lechner <felix.lechner <at> lease-up.com>
To: guix-patches <at> gnu.org
Subject: [PATCH core-updates] gnu: xkeyboard-config: Switch to Github repo.
Date: Sun, 18 Sep 2022 10:01:39 -0700

[Message part 1 (text/plain, inline)]

Hi,

In continuation to Bug#57872, switch to the Github repo that is
archived on Software Heritage, plus there is an automatic updater.

Kind regards,
Felix Lechner

[0001-gnu-xkeyboard-config-Switch-to-Github-repo.patch (text/x-patch, attachment)]

Message #8 received at 57916 <at> debbugs.gnu.org (full text, mbox):

From: Maxime Devos <maximedevos <at> telenet.be>
To: Felix Lechner <felix.lechner <at> lease-up.com>, 57916 <at> debbugs.gnu.org
Subject: Re: [bug#57916] [PATCH core-updates] gnu: xkeyboard-config: Switch to
 Github repo.
Date: Sun, 18 Sep 2022 23:36:23 +0200

[Message part 1 (text/plain, inline)]

On 18-09-2022 19:01, Felix Lechner via Guix-patches via wrote:
> In continuation to Bug#57872, switch to the Github repo that is
> archived on Software Heritage, plus there is an automatic updater.

We do have an automatic updater: %xorg-updater.
Somehow, it is not currently used, but maybe that's just a matter of 
switching from the ftp:// URL to an appropriate mirror://.

If there is an appropriate mirror://, likely there is a HTTP or HTTPS 
among the mirrors than Software Heritage will be able to pick up.

Greetings,
Maxime.

[OpenPGP_0x49E3EE22191725EE.asc (application/pgp-keys, attachment)]

[OpenPGP_signature (application/pgp-signature, attachment)]

Message #13 received at 57916-done <at> debbugs.gnu.org (full text, mbox):

From: Felix Lechner <felix.lechner <at> lease-up.com>
To: 57916-done <at> debbugs.gnu.org
Cc: Maxime Devos <maximedevos <at> telenet.be>, Marius Bakke <marius <at> gnu.org>
Subject: Re: [bug#57916] [PATCH core-updates] gnu: xkeyboard-config: Switch to
 Github repo.
Date: Sun, 18 Sep 2022 14:49:48 -0700

Hi,

On Sun, Sep 18, 2022 at 2:36 PM Maxime Devos <maximedevos <at> telenet.be> wrote:
>
> If there is an appropriate mirror://, likely there is a HTTP or HTTPS
> among the mirrors than Software Heritage will be able to pick up.

Due to email difficulties, I saw only now that mbakke already picked a
different mirror. [1] I am therefore closing this issue.

Kind regards
Felix Lechner

[1] https://issues.guix.gnu.org/57872#1

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.