[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#66618] [PATCH] etc: gitconfig: Remove the default email address to
From: |
Maxim Cournoyer |
Subject: |
[bug#66618] [PATCH] etc: gitconfig: Remove the default email address to avoid mistakes. |
Date: |
Fri, 20 Oct 2023 11:44:39 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Hi Simon,
Simon Tournier <zimon.toutoune@gmail.com> writes:
> Hi Maxim,
>
> On Thu, 19 Oct 2023 at 21:54, Maxim Cournoyer <maxim.cournoyer@gmail.com>
> wrote:
>
>> One could argue it's also a misleading documentation. It should say if
>> a 'to' address is not specified *or* configured.
>
> Well, personally I prefer: « Explicit is better than implicit. » and
> « Errors should never pass silently. Unless explicitly silenced. ».
>
> Here, the default
>
> [sendemail]
> to = guix-patches@gnu.org
>
> makes something implicit – which is not necessary bad – but it hides
> potential errors – which is not good.
But that's true for any automation of git. If we follow that logic we
can remove the other git configurations because they may be surprising,
and the send-email hook that notifies people, because that can again be
surprising.
Obviously, I'd rather not go that slope. The small cost in surprise is
offset by removing manual work for myself and I'd expect/hope other
committers. Does that make sense?
--
Thanks,
Maxim
- [bug#66618] [PATCH] etc: gitconfig: Remove the default email address to avoid mistakes., Clément Lassieur, 2023/10/18
- [bug#66618] [PATCH] etc: gitconfig: Remove the default email address to avoid mistakes., Maxim Cournoyer, 2023/10/18
- [bug#66618] [PATCH] etc: gitconfig: Remove the default email address to avoid mistakes., Maxim Cournoyer, 2023/10/18
- [bug#66618] [PATCH] etc: gitconfig: Remove the default email address to avoid mistakes., Clément Lassieur, 2023/10/19
- [bug#66618] [PATCH] etc: gitconfig: Remove the default email address to avoid mistakes., Maxim Cournoyer, 2023/10/19
- [bug#66618] [PATCH] etc: gitconfig: Remove the default email address to avoid mistakes., Clément Lassieur, 2023/10/20
- [bug#66618] [PATCH] etc: gitconfig: Remove the default email address to avoid mistakes., Simon Tournier, 2023/10/20
- [bug#66618] [PATCH] etc: gitconfig: Remove the default email address to avoid mistakes.,
Maxim Cournoyer <=
- [bug#66618] [PATCH] etc: gitconfig: Remove the default email address to avoid mistakes., Clément Lassieur, 2023/10/22
- [bug#66618] [PATCH] etc: gitconfig: Remove the default email address to avoid mistakes., Maxim Cournoyer, 2023/10/22
- [bug#66618] [PATCH] etc: gitconfig: Remove the default email address to avoid mistakes., Simon Tournier, 2023/10/23
- [bug#66618] [PATCH] etc: gitconfig: Remove the default email address to avoid mistakes., Maxim Cournoyer, 2023/10/23
- [bug#66618] [PATCH] etc: gitconfig: Remove the default email address to avoid mistakes., Clément Lassieur, 2023/10/25
- [bug#66618] [PATCH] etc: gitconfig: Remove the default email address to avoid mistakes., Simon Tournier, 2023/10/26
- bug#66618: [PATCH] etc: gitconfig: Remove the default email address to avoid mistakes., Clément Lassieur, 2023/10/26
- [bug#66618] [PATCH] etc: gitconfig: Remove the default email address to avoid mistakes., Simon Tournier, 2023/10/23
- [bug#66618] [PATCH] etc: gitconfig: Remove the default email address to avoid mistakes., Maxim Cournoyer, 2023/10/23