Daniel-Constantin Mierla writes: > I tried over git:// and is fine from here. i don't know what had happened. i cloned the repo again and after that git pull worked fine. -- juha