Re: [PATCH] Unbreak DJGPP port of GDB

[Joel Brobecker <brobecker@adacore.com>]

Eli,

> > Regardless, the procedure when pushing changes to the branch after
> > a release has been made is to update the wiki:
> > 
> >     https://sourceware.org/gdb/wiki/GDB_7.9_Release
> > 
> > (which means you need a PR number as well).
> 
> That's a nuisance.

Creating a PR: 5 mins. Updating the Wiki; just copy/paste the PR
number and the PR subject: 2 mins.

We have been down this road before. I have explained this to you
the last time and you've gone through the procedure already, so
you should know about it. You did not follow the procedure this
second time, and I just assumed that it was because you had forgotten.
But now that I sent you a reminder, you decided to be difficult about
it instead. I've been nice to you the last time, and did part of
the work for you. Is that really how you want to treat my request?

I did not make up that procedure. It was decided by us as a group.
If you have a better idea, by all means, propose it here, and we
can discuss.  But in the meantime, I expect you to follow what
has been decided by the group without making it extra work for me
every single time. Not to mention an unpleasant moment.

-- 
Joel