New repository location

[Bill Schmidt]

Question:  Is the new gcc git repository at gcc.gnu.org/git/gcc.git 
using the same location as the earlier git mirror did?  I'm curious 
whether our repository on pike is still syncing with the new master, or 
whether we need to make some adjustments before we next rebase pu 
against master.