Perfect, thanks for clarifying On Tue, Oct 15, 2024, 20:20 Ineiev <ine...@gnu.org> wrote:
> On Tue, Oct 15, 2024 at 07:58:31PM +0200, Sam Russell wrote: > > That makes sense, so for development I should just continue using > anonymous > > git access then? > > Quite right. >