You could add a foot note like this:
If a dispute cannot be resolved, the author of the PR may adress it on the JMRI developers mailing list. If needed, the owners of JMRI may merge the PR despite a review, but they will not do it unless there is a strong reason to do so.
-------- Originalmeddelande --------
Från: Paul Bender <paul.bender@...>
Datum: 2020-07-26 05:07 (GMT+01:00)
Rubrik: Re: [jmri-developers] Find some consensus
> On Jul 25, 2020, at 9:42 PM, danielb987 <db123@...> wrote:
> Ok. I see what you mean. I approve your changes and I withdraw my suggestion.
Your suggestion is a good one, I just don’t have any ideas on how disputes of this nature should be handled.
I am open to ideas.