bug#47946: closed (.gitignore: Ignore all doc/stamp-* files)

[GNU bug Tracking System]

Your message dated Sat, 24 Apr 2021 15:09:53 -0400
with message-id <YIRtAUdkvTmsyD98@jasmine.lan>
and subject line Re: [bug#47946] .gitignore: Ignore all doc/stamp-* files
has caused the debbugs.gnu.org bug report #47946,
regarding .gitignore: Ignore all doc/stamp-* files
to be marked as done.

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


-- 
47946: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=47946
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems

--- Begin Message --- Subject: .gitignore: Ignore all doc/stamp-* files Date: Thu, 22 Apr 2021 15:48:10 +0900 User-agent: mblaze/1.1

I'm not sure this is the correct patch, but sometimes we get files like
doc/stamp-10 which fail to be ignored by the current `doc/stamp-[0-9]' pattern.

txt5aC46oSHv5.txt
Description: Text Data

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#47946] .gitignore: Ignore all doc/stamp-* files
>
>
>
>
> Date: 
>
> Sat, 24 Apr 2021 15:09:53 -0400
>
>
>
>
> On Thu, Apr 22, 2021 at 03:48:10PM +0900, elaexuotee--- via Guix-patches via 
> wrote:
> > I'm not sure this is the correct patch, but sometimes we get files like
> > doc/stamp-10 which fail to be ignored by the current `doc/stamp-[0-9]' 
> > pattern.
> > 
>
> > From 6877a89b5d5912c14f6f4ab27f92076c5ae6af86 Mon Sep 17 00:00:00 2001
> > From: "B. Wilson" <elaexuotee@wilsonb.com>
> > Date: Thu, 22 Apr 2021 15:43:12 +0900
> > Subject: [PATCH] .gitignore: Add doc/stamp-[0-9]*
> > To: guix-patches@gnu.org
> > 
> > ---
> >  .gitignore | 2 +-
>
> Thanks! I filled out the commit message and pushed as
> 20fd0e485f22ee009c89829920861b750f794990
>
>
> --- End Message ---