bug#33333: closed ([PATCH] .gitignore: Add more generated files.)

[GNU bug Tracking System]

Your message dated Tue, 13 Jul 2021 08:13:25 -0400
with message-id <87r1g2s97e.fsf_-_@gmail.com>
and subject line Re: bug#33333: [PATCH] .gitignore: Add more generated files.
has caused the debbugs.gnu.org bug report #33333,
regarding [PATCH] .gitignore: Add more generated files.
to be marked as done.

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


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

--- Begin Message --- Subject: [PATCH] .gitignore: Add more generated files. Date: Sat, 10 Nov 2018 15:59:21 +0100

--
Cheers
Swedebugia

0001-.gitignore-Add-more-generated-files.patch
Description: Text Data

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#33333: [PATCH] .gitignore: Add more generated files.
>
>
>
>
> Date: 
>
> Tue, 13 Jul 2021 08:13:25 -0400
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux)
>
>
>
>
> Maxim Cournoyer <maxim.cournoyer@gmail.com> writes:
>
> > ludo@gnu.org (Ludovic Courtès) writes:
> >
> >> Hi,
> >>
> >> swedebugia <swedebugia@riseup.net> skribis:
> >>
> >>> --- a/.gitignore
> >>> +++ b/.gitignore
> >>> @@ -28,6 +28,8 @@
> >>>  /configure
> >>>  /doc/*.1
> >>>  /doc/.dirstamp
> >>> +/doc/contributing.de.texi
> >>> +/doc/contributing.fr.texi
> >>
> >> These files are checked in so we can’t really ignore them.  They are
> >> sometimes automatically updated, leading to diffs that can be safely
> >> ignored, though.
> >>
> >> Julien, any idea how we can avoid the occasional annoyance that this
> >> causes?
> >>
> >> Thanks,
> >> Ludo’.
> >
> > Ping! Is this still an problem?  It seems I haven't had this issue in a
> > while.
> >
> > Maxim
>
> This annoyance was fixed as part as v1.3.0.
>
> Closing.
>
> Maxim
>
>
> --- End Message ---