Provide HTTP access to the Git repo

["Osipov, Michael" <michael.osipov@xxxxxxxxxxx>]

Hi,

01234567890123456789012345678901234567890123456789012345678901234567890123456789
unfortunately, the official Git repo is accessible through git:// only. This
makes it impossible to clone from a corporate network behind a firewall. Please
provide an HTTP equivalent hosted on CMU servers or an active GitHub mirror. It
would make contributing a lot easier.

I can open a Bugzilla issue for that, if necessary.

Regards,

Michael Osipov