Re: git mirror at gcc.gnu.org

[Jason Merrill]

I also notice a few remotes with @ in them like milepost-bra...@129596 
which seem to be git-svn artifacts.

Jason