Official GCC git repository

[Tobias Grosser]

On Wed, 2008-03-12 at 16:38 +0100, Bernardo Innocenti wrote:
> Hello,
> 
> many people seem to be finding our git mirror of the GCC repo
> useful:

Sure, I am using it since several weeks and it is a great
improvement in many areas.

For me it seems that the git mirror does not hurt in any way. Sure,
this mail can be seen as the beginning of a discussion about the
best VCS for gcc. And therefore as a final decision to use git
exclusively.
But I think it is not necessary to decide at this moment.
Let's just give more developers the opportunity to try and use a
different VCS, which has some great advantages.

> At this time, the repository is being synch'd every quarter
> hour (actually 03,18,33,48 * * * *), and carries all branches
> (although only a few are displayed).  If people think it would be
> useful, we could install a commit hook on gcc.gnu.org to mirror
> each commit immediately.

Should be quite useful. A post commit hook, does not slow down svn
commit operations, right?

Tobi