GNU bug report logs - #69998
[PATCH guile-web] libraries: Use guile-gnunet’s real name.

Previous Next

Full log

View this message in rfc822 format

From: "pelzflorian (Florian Pelz)" <pelzflorian <at> pelzflorian.de>
To: 69998 <at> debbugs.gnu.org
Cc: Andy Wingo <wingo <at> pobox.com>, Ludovic Courtès <ludo <at> gnu.org>
Subject: bug#69998: [PATCH guile-web] libraries: Use guile-gnunet’s real name.
Date: Fri, 16 Aug 2024 21:45:53 +0200

Ping.

"pelzflorian (Florian Pelz)" <pelzflorian <at> pelzflorian.de> writes:
> Ping.  I would be grateful if you maintainers could push this Libraries
> web page fix to guile-web.git.
>
> Maxim Cournoyer <maxim.cournoyer <at> gmail.com> writes:
>
>> Hi Florian,
>>
>> "pelzflorian (Florian Pelz)" <pelzflorian <at> pelzflorian.de> 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

Previous Next

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