On Tue, Dec 31, 2019 at 01:42:55PM +0000, Joseph Myers wrote: > As the remaining changes being made to the reposurgeon conversion are of > the form "tidy things up where reposurgeon is already making a reasonable > conservative choice but minor improvements are still possible", I think > it's very clearly ready and propose doing the actual conversion with > reposurgeon over the weekend of 11/12 January [*], with whatever > improvements to commit messages and authors are ready by then.
I propose following the original plan, instead, and choosing the best conversion that *exist* today, or at whatever later date we choose. Or we can use what we had ready over half a year ago, which was a Fine conversion already. Or what we had *over ten years ago*, a repo made as a plain git-svn mirror, which is perfectly serviceable as well. (We *know* it is, many of us have used it daily for that long). Switching to a conversion that is different, in some ways better, sure, but in some ways worse as well, is not a good idea imo. *Especially* since we asked many times for an evaluation where it is worse or better, but nothing is forthcoming, we are just asked to accept on blind faith that it is better, all evidence to the contrary notwithstanding. Segher
