temporarily giving up using Git for GCC MELT

[Frank Ch. Eigler]

Miles Bader <miles@gnu.org> writes:

> [...]
> Do you use the http: or git: protocol for cloning?  The official gcc git
> repo only supports the "old" git http: protocol, which is almost useless
> on slow/high-latency networks...

gcc.gnu.org does talk git:// too.  By "new http", you are probably
referring to the git-http-backend widget, which we can investigate
setting up.

- FChE