Re: Management of dist-git