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
