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

[Eli Zaretskii]

> From: Glenn Morris <rgm@gnu.org>
> Cc: Juri Linkov <juri@linkov.net>,  33476@debbugs.gnu.org
> 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.