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
