GNU bug report logs - #54293
[WIP] home: Add home-git-service-type

Previous Next

Full log

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

From: Ludovic Courtès <ludo <at> gnu.org>
To: iyzsong <at> outlook.com
Cc: Maxime Devos <maximedevos <at> telenet.be>,
 宋文武 <iyzsong <at> member.fsf.org>, 54293 <at> debbugs.gnu.org
Subject: Re: bug#54293: [WIP] home: Add home-git-service-type
Date: Sat, 21 May 2022 15:47:03 +0200

Hi 宋文武,

iyzsong <at> outlook.com skribis:

> * gnu/home/services/git.scm: New file.
> * gnu/local.mk (GNU_SYSTEM_MODULES): Add it.

It’s been a while already but I think it’d be a nice addition.  I think
Maxime raised good points while reviewing, in particular regarding
naming conventions (lowercase and without dots) and possible grouping
(all the ‘user.’ options might fit in a single <git-user> record or
similar?).

How do you feel about making hopefully final changes so you can push it?

Thanks in advance!  :-)

Ludo’.

Previous Next

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