Management of dist-git