Re: Request for comment: Potential change to dist-git branch structure