https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64968 --- Comment #5 from Frank Ch. Eigler <fche at redhat dot com> --- The current .git repos are there as a backup. I'll move them out of the way.