GNU bug report logs - #79002
[PATCH 0/3] Update gopls.

Previous Next

Full log

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

From: Tomas Volf <~@wolfsden.cz>
To: Sharlatan Hellseher <sharlatanus <at> gmail.com>
Cc: 79002 <at> debbugs.gnu.org
Subject: Re: [PATCH 0/3] Update gopls.
Date: Mon, 14 Jul 2025 01:10:19 +0200

Hi :)

Sharlatan Hellseher <sharlatanus <at> gmail.com> writes:

> Why not to open a Merge Request on CodeBerg?
>
> https://codeberg.org/guix/guix/pulls

I do not currently have a Codeberg account -- which is a necessary
prerequisite for making a pull request -- and due to my concerns
regarding the Terms of Use that I have raised during the GCD procedure,
I do not currently want to make one.  Ludovic mentioned the possibility
of discussing the issues with Codeberg after the migration, so I am
waiting on the result of that.

At the same time I fully acknowledge that I am in a tiny minority, so it
is not exactly a important issue.  Since the mailing list will be
operational until the end of year (at least), I am planning to figure
out my feelings regarding Codeberg in the winter.

Tomas

-- 
There are only two hard things in Computer Science:
cache invalidation, naming things and off-by-one errors.

Previous Next

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