On Mon, 2019-12-16 at 11:29 +0000, Joseph Myers wrote: > On Mon, 16 Dec 2019, Mark Wielaard wrote: > > > Should we go with the gcc-reparent.git repo now? > > I think we should go with the reposurgeon conversion, with all Richard's > improvements to commit messages. gcc-reparent.git has issues of its own; > at least, checking the list of branches shows some branches are missing. > So both conversions can still be considered works in progress. So it seems like your position is that the reposurgeon conversion is as good as or better than conversion from Maxim's scripts.
If that's a fair assessment of your position, then my vote would be that we select reposurgeon based on your assessment, which I absolutely trust. jeff
