[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#33476: [PATCH] Fix occur revert with list-matching-lines-jump-to-cur

From: Eli Zaretskii
Subject: bug#33476: [PATCH] Fix occur revert with list-matching-lines-jump-to-current-line
Date: Wed, 12 Dec 2018 19:07:46 +0200

> From: Glenn Morris <address@hidden>
> Cc: Juri Linkov <address@hidden>,  address@hidden
> Date: Tue, 11 Dec 2018 18:07:52 -0500
> Eli Zaretskii wrote:
> > Please don't use the instructions in admin/notes/repo
> They just happened to get outdated in this one specific area
> ({bzr,git}merge.el used to skip anything matching "merge",
> but that was found to be too broad).

If we have just one place, there will be less risk of one of them
becoming outdated.

> > use the instructions in CONTRIBUTE instead. Personally, I'm not sure
> > why the former exists
> I view(ed) it as:
> CONTRIBUTE is for people without write access
> admin/notes/repo is for people with write access

I don't really see enough differences to justify an extra file.

I think admin/notes/repo is just a historic accident: it was created
when we migrated to Git, when we didn't yet have CONTRIBUTE.

> Duplication of information should of course be avoided.

I don't see how we can avoid duplication if we want each of these two
files be self-contained.

I'm not going to fight if someone wants to leave admin/notes/repo
alone, but the confusion such as this one will IMO continue until we
resolve the duplication.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]