bug#57916: closed ([PATCH core-updates] gnu: xkeyboard-config: Switch to Github repo.)

[GNU bug Tracking System]

Your message dated Sun, 18 Sep 2022 14:49:48 -0700
with message-id 
<CAFHYt54HQoyAeZ-+YVZs7=reTJAX6XG5RaF=k5Pi70nvrGM8yQ@mail.gmail.com>
and subject line Re: [bug#57916] [PATCH core-updates] gnu: xkeyboard-config: 
Switch to Github repo.
has caused the debbugs.gnu.org bug report #57916,
regarding [PATCH core-updates] gnu: xkeyboard-config: Switch to Github repo.
to be marked as done.

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


-- 
57916: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=57916
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems

--- Begin Message --- Subject: [PATCH core-updates] gnu: xkeyboard-config: Switch to Github repo. Date: Sun, 18 Sep 2022 10:01:39 -0700

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
Description: Text Data

--- End Message ---

> --- Begin Message ---
>
>
>
> 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@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
>
>
> --- End Message ---