This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: How often is the git repository is updated?
- From: Sergio Durigan Junior <sergiodj at redhat dot com>
- To: Joel Brobecker <brobecker at adacore dot com>
- Cc: Jan Kratochvil <jan dot kratochvil at redhat dot com>, Gyula Gubacsi <gyula dot gubacsi at gmail dot com>, GDB Patches <gdb-patches at sourceware dot org>, Eli Zaretskii <eliz at gnu dot org>
- Date: Tue, 14 Aug 2012 18:30:03 -0300
- Subject: Re: How often is the git repository is updated?
- References: <CAAL+MW90pUfE2_vs793ogZz=Wki_W65mCB=HoeZMDk3L2iLjSg@mail.gmail.com> <20120814111930.GA11949@host2.jankratochvil.net> <m3r4r9z64x.fsf@redhat.com> <m3mx1xz5vl.fsf@redhat.com> <20120814203153.GB2742@adacore.com>
On Tuesday, August 14 2012, Joel Brobecker wrote:
>> Here it is. Joel, I guess you are the responsible for the web pages,
>> right? It this OK for pushing to htdocs repo?
>
> In terms of approval, it's a bit of a grey area. I tend to consider
> that this is documentation, and thus give Eli authority for approval,
> but I often make "obvious" changes.
>
> I think that this is sufficiently obvious that it's OK to check in.
> We can always revise it later, if Eli has some comments. Go ahead
> and check it in - this will automatically update sourceware.org.
> I'll take care of the gnu.org side right after.
Thanks, checked in. I could not find a ChangeLog file to edit, so I
just committed the html.
--
Sergio