I can't get git clone command working due to our firewall. Is there any git http server configured ? If any, how do I translate git clone git://git.openfabrics.org/~halr/management <git://git.openfabrics.org/%7Ehalr/management> in git clone http path ? Thanks Philippe