Re: git mirror at gcc.gnu.org

[Jason Merrill]

Incidentally, I notice that branches in subdirectories of branches/ are 
still broken; i.e. ARM apple redhat suse ubuntu, maybe others.  I give 
instructions on the GitMirror page for how to deal with that, but I 
wonder if it's possible to set it up properly on the mirror instead.

Jason