[Barrelfish-users] Fwd: Barrelfish-users Digest, Vol 58, Issue 1

Stefan Kaestle stefan.kaestle at inf.ethz.ch
Wed Dec 3 11:35:40 CET 2014


Maybe you need to setup a proxy for GIT?

A tutorial on how to configure GIT to use a proxy are here: 
http://cms-sw.github.io/tutorial-proxy.html#how-to-connect-to-a-git-repository-using-the-git-protocol

We are using the GIT protocol for our public Barrelfish repository.

Cheers,
  Stefan

On 12/03/2014 11:30 AM, Kornilios Kourtis wrote:
> Hi,
>
> On Wed, Dec 03, 2014 at 02:58:52PM +0530, Vinay Kumar wrote:
>> Hi,
>>
>> Recently there was a new release of Barrelfish code which includes some
>> enhancements to core management (with reference to below mail),
>>
>> I was planning to try to run this release on our systems,
>>
>> I tried to clone and download the code from git repository, but somehow
>> its failing to connect to git.barrelfish.org when I run the git command
>> below:
>>
>> #git clone git://git.barrelfish.org/git/barrelfish
>>
>> Cloning into 'barrelfish'...
>>
>> fatal: unable to connect to git.barrelfish.org:
>>
>> git.barrelfish.org[0: 129.132.186.81]: errno=Connection timed out
>
> For what is worth, I tried to clone the repo in a non-ETH machine and it
> seems to work. So maybe this is a network issue on your side?
>
> cheers,
> Korniios.
>
>

-- 
Stefan
http://people.inf.ethz.ch/skaestle/




More information about the Barrelfish-users mailing list