Subject: Re: bug#69998: [PATCH guile-web] libraries: Use guile-gnunet’s real name.

From: "pelzflorian (Florian Pelz)" <[email-masked]>
Date: Wed, 05 Jun 2024 19:16:21 +0200

Ping.  I would be grateful if you maintainers could push this Libraries
web page fix to guile-web.git.

Maxim Cournoyer <[email-masked]> writes:

> Hi Florian,
>
> "pelzflorian (Florian Pelz)" <[email-masked]> writes:
>
>> Hello Maxim, this patch is confusingly about the Guile website, not
>> Guix. ;)  That is https://git.savannah.gnu.org/git/guile/guile-web.git
>>
>> It uses Guix to generate the Guile package list, where guile-gnunet has
>> homepage https://gnu.org/software/guix and is thus called Guix in the
>> Guile website library page.  This patch special-cases guile-gnunet like
>> other special-case libraries.
>>
>> Thank you for looking at the patch, though I do not know if you can push
>> to guile-web.git.
>
> Nope; you'll want to ping one of the Guile committers, sorry about that!

Regards,
Florian