New repository location

[H.J. Lu]

On Sun, Jan 19, 2020 at 6:33 AM Bill Schmidt <wschmidt@linux.ibm.com> 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 some adjustments before we next rebase pu
> against master.
>

2 repos are different.  I renamed my old mirror and created a new one:

https://gitlab.com/x86-gcc

-- 
H.J.