On 29/12/2019 23:13, Segher Boessenkool wrote: > On Sun, Dec 29, 2019 at 11:00:08PM +0000, Joseph Myers wrote: >> fixups in bugdb.py - and that way benefit both from reposurgeon making >> choices that are as conservatively safe as possible, which seems a >> desirable property for problem cases that haven't been manually reviewed, > > Problem cases that haven't been manually reviewed should *be* manually > reviewed, or the heuristics improved so there are fewer problem cases. >
Thank you for offering to help with the checking. ;-) R. > As I've said many many times now, we only have *one* repository to > convert here. Taking shortcuts is *good*, making problems for ourselves > by pretending we do things more generically is *bad*. > > > Segher >
