On Sat, Apr 15, 2023 at 04:10:32PM +0200, Kristoffer Haugsbakk wrote: > On Sat, Apr 15, 2023, at 10:52, Jeff King wrote: > > Of course it may also be reasonable to consider this mystery solved and > > leave the code as-is. These objects _are_ malformed. > > I started to run `git-repair`[1] on the repository yesterday. I’m not > sure yet if it will finish.[2] I don't know if git-repair will fix syntactic problems in commits like this, or if it's just looking for broken links between objects. But regardless, it would be possible to fix these using filter-repo or other tools. The problem with repairing them is that it rewrites history, changing the object id of every commit which comes after. So you'd want to do it once centrally for the project, and declare a flag day that everybody is moving over to the new, fixed history. It's probably not worth it for a minor problem like this. -Peff
