[Bug web/114223] Utilize filtering for git://gcc.gnu.org/git/gcc.git

[redi at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114223

--- Comment #3 from Jonathan Wakely <redi at gcc dot gnu.org> ---
(In reply to Дилян Палаузов from comment #0)
> I want to create a treeless-copy of the git://gcc.gnu.org/git/gcc.git . 

N.B. you could have just used https://github.com/gcc-mirror/gcc