On Sun, Jan 19, 2020 at 6:33 AM Bill Schmidt <wschm...@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.
