Get mogok repository (I lost my local directory ...)