Subject: Re: [bug#47946] .gitignore: Ignore all doc/stamp-* files
From: Leo Famulari <[email-masked]>
To: elaexuotee--- via Guix-patches via <[email-masked]>
Cc: [email-masked]
Date: Sat, 24 Apr 2021 15:09:53 -0400
List-Id: <debbugs-submit.debbugs.gnu.org>

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" <[email-masked]>
> Date: Thu, 22 Apr 2021 15:43:12 +0900
> Subject: [PATCH] .gitignore: Add doc/stamp-[0-9]*
> To: [email-masked]
> 
> ---
>  .gitignore | 2 +-

Thanks! I filled out the commit message and pushed as
20fd0e485f22ee009c89829920861b750f794990