Re: New repository location

2020-01-19 Thread Bill Schmidt
I apologize, I sent this to the wrong mailing list, this had meant to be internal.  But thank you very much for the information!  It appears we have some adjustments to make. Thanks! Bill On 1/19/20 8:46 AM, H.J. Lu wrote: On Sun, Jan 19, 2020 at 6:33 AM Bill Schmidt wrote: Question: Is

Re: New repository location

2020-01-19 Thread H.J. Lu
On Sun, Jan 19, 2020 at 6:33 AM Bill Schmidt wrote: > > 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

New repository location

2020-01-19 Thread 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.