Re: hg->git conversion of devpi