Re: [PATCH] Unbreak DJGPP port of GDB

[Eli Zaretskii <eliz@gnu.org>]

> Date: Wed, 3 Jun 2015 21:08:20 -0700
> From: Joel Brobecker <brobecker@adacore.com>
> Cc: qiyaoltc@gmail.com, gdb-patches@sourceware.org
> 
> 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.

Not for me: I don't even have a login in at least one of these places,
and the last time I tried to make a PR it took me an inordinate amount
of time.

> 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.

I did forget.  This requirement is so unique and different from any
other project in which I'm active that I simply forget, especially
that I don't push changes too frequently.

> 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.

Sorry.  Maybe I should simply retire, to avoid annoying everyone.