On Wednesday, 26 October 2016 at 05:46:30 UTC, ketmar wrote: > this is a repository name. it is supposed to be named just > "iv", and git names main directory by repository name if you > are doing a simple clone. my bad, i should have made that clear. Ok. That helps.