[sr-dev] [sr-users] Problem accessing git repository

[Mikko Lehto]

2013-04-15 (Mon) 23:45 UTC +0200  Daniel-Constantin Mierla <miconda at gmail.com>:

> try with a new clone and see if it works to pull afterwards.
> 
> Otherwise I cannot think of anything else than looking at network
> traffic to see if something is wrong there.

New clone seem to pull fine. Maybe we troubleshoot more if this reoccurs.

-- 
Mikko