This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: [PATCH] Unbreak DJGPP port of GDB
- From: Joel Brobecker <brobecker at adacore dot com>
- To: Eli Zaretskii <eliz at gnu dot org>
- Cc: qiyaoltc at gmail dot com, gdb-patches at sourceware dot org
- Date: Wed, 3 Jun 2015 21:08:20 -0700
- Subject: Re: [PATCH] Unbreak DJGPP port of GDB
- Authentication-results: sourceware.org; auth=none
- References: <83zj4uypea dot fsf at gnu dot org> <86iobdozr0 dot fsf at gmail dot com> <83a8woydaj dot fsf at gnu dot org> <83twuuv0h4 dot fsf at gnu dot org> <20150603220141 dot GE2801 at adacore dot com> <83fv68qjon dot fsf at gnu dot 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.
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