GNU bug report logs - #47946
.gitignore: Ignore all doc/stamp-* files

Previous Next

Package: guix-patches;

Reported by: elaexuotee <at> wilsonb.com

Date: Thu, 22 Apr 2021 06:48:01 UTC

Severity: normal

Done: Leo Famulari <leo <at> famulari.name>

Bug is archived. No further changes may be made.

Full log

Message #8 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Leo Famulari <leo <at> famulari.name>
To: elaexuotee--- via Guix-patches via <guix-patches <at> gnu.org>
Cc: 47946-done <at> debbugs.gnu.org
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 <at> wilsonb.com>
> Date: Thu, 22 Apr 2021 15:43:12 +0900
> Subject: [PATCH] .gitignore: Add doc/stamp-[0-9]*
> To: guix-patches <at> gnu.org
> 
> ---
>  .gitignore | 2 +-

Thanks! I filled out the commit message and pushed as
20fd0e485f22ee009c89829920861b750f794990
This bug report was last modified 4 years and 27 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.