This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Patch manager dying for a week or two
- From: Tobias Burnus <burnus at net-b dot de>
- To: "Daniel Berlin" <""\"\"\"\"dberlin\"\"\"@dberlin dot org>, gcc-patches <gcc-patches at gcc dot gnu dot org>, GCC <gcc at gcc dot gnu dot org>
- Date: Thu, 06 Dec 2007 11:45:42 +0100
- Subject: Re: Patch manager dying for a week or two
Daniel Berlin wrote:
> Patch manager will be dying for a week or two while i change hosting.
> of course, if nobody is still using it, i can just kill it permanently.
At least I use it almost always to make sure patches does not get
forgotten; thus I regularly check http://dberlin.org/patches/patches/list
Additionally, I like that it automatically adds a link to the mailing
list in the PR; that way one can easily check the discussion in the
mailing list. (I also like PRs, they not only help to obtain more
information about a patch [cf. recently ChangeLog discussion], but also
ensure that one does not forget something.)
I think many gfortraners use :ADDPATCH:
Tobias