On 5/2/20 12:13 am, Sebastian Huber wrote: > Hello, > > it seems GCC finished the Git conversion: > > https://gcc.gnu.org/git/gitweb.cgi?p=gcc.git;a=summary > > This means our GCC Git mirror refers to a deprecated Git repository. Is this the mirror on github? Does this mean any RSB reference in it's history breaks with the new repo? Chris