[PATCH] Unbreak DJGPP port of GDB
Eli Zaretskii
eliz@gnu.org
Thu Jun 4 14:57:00 GMT 2015
> 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.
More information about the Gdb-patches
mailing list