bug#42055: closed ([PATCH] .gitignore: Ignore 'etc/committer.scm'.)

[GNU bug Tracking System]

Your message dated Sun, 28 Jun 2020 11:42:59 +0000
with message-id <06e6ebc5c80e9263d38a31e599af5afd@waegenei.re>
and subject line Re: [bug#42055] [PATCH] .gitignore: Ignore 'etc/committer.scm'.
has caused the debbugs.gnu.org bug report #42055,
regarding [PATCH] .gitignore: Ignore 'etc/committer.scm'.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
42055: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=42055
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH] .gitignore: Ignore 'etc/committer.scm'.
>
>
>
>
> Date: 
>
> Fri, 26 Jun 2020 11:51:26 +0200
>
>
>
>
> * .gitignore: Add '/etc/committer.scm'.
> ---
>  .gitignore | 1 +
>  1 file changed, 1 insertion(+)
>
> diff --git a/.gitignore b/.gitignore
> index 05a68b69ff..f420d4228e 100644
> --- a/.gitignore
> +++ b/.gitignore
> @@ -66,6 +66,7 @@
>  /doc/stamp-vti
>  /doc/version.texi
>  /doc/version-*.texi
> +/etc/committer.scm
>  /etc/gnu-store.mount
>  /etc/guix-daemon.cil
>  /etc/guix-daemon.conf
> -- 
> 2.26.2
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#42055] [PATCH] .gitignore: Ignore 'etc/committer.scm'.
>
>
>
>
> Date: 
>
> Sun, 28 Jun 2020 11:42:59 +0000
>
>
>
>
> User-agent: 
>
> Roundcube Webmail/1.3.8
>
>
>
>
> Hello Ludo',
>
> On 2020-06-27 17:08, Ludovic Courtès wrote:
> > You don’t even need to go through patch review for such changes, and 
> > you
> > can even avoid the ChangeLog-style commit log for ‘.gitignore’.
>
> I wasn't sure if it was worth being reviewed, so I went with it just in
> case.  I'll try to avoid this next time.
>
> Pushed as b9edefbc46da76fea6d56e08462618a398192189.
>
> - Brice
>
>
> --- End Message ---