[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#54293] [WIP] home: Add home-git-service-type
From: |
Maxime Devos |
Subject: |
[bug#54293] [WIP] home: Add home-git-service-type |
Date: |
Mon, 07 Mar 2022 19:02:42 +0100 |
User-agent: |
Evolution 3.38.3-1 |
宋文武 schreef op ma 07-03-2022 om 22:51 [+0800]:
> I made 'options' an sexp value since there are so many git options
> (see 'man git-config').
This can be solved with an escape hatch like openssh-configuration's
'extra-content' and by adding support for new options on an on-demand
basis. If there are lots of options, that just means there's lot to
do, I think.
Greetings,
Maxime.
signature.asc
Description: This is a digitally signed message part
- [bug#54293] [WIP] home: Add home-git-service-type, 宋文武, 2022/03/07
- [bug#54293] [WIP] home: Add home-git-service-type, Maxime Devos, 2022/03/07
- [bug#54293] [WIP] home: Add home-git-service-type, Maxime Devos, 2022/03/07
- [bug#54293] [WIP] home: Add home-git-service-type,
Maxime Devos <=
- [bug#54293] [WIP] home: Add home-git-service-type, Maxime Devos, 2022/03/07
- [bug#54293] [WIP] home: Add home-git-service-type, Maxime Devos, 2022/03/07
- [bug#54293] [PATCH v2] home: Add home-git-service-type., iyzsong, 2022/03/11