On Wed, Nov 2, 2022 at 1:00 PM Bram Moolenaar <[email protected]> wrote: [...] > OK. Changing commits would be rewriting history, that sounds like > something we don't want, even though it looks like some commits were not > done right. I tried creating diffs from the tagged commits, but those > are a bit messy too. I'll not try to fix more, unless someone can tell > me the git commands that will make something better. E.g. updating the > description to say what the commit is really about. But only if this > won't have undesired side effects. [...] IIUC, the 40-nybble commit ID is computed from the parent's ID and everything in the new commit including the description (but not the tag(s) if any, which are added afterwards). This would mean that changing a description would actually mean deleting a commit and everything descended from it, then recreating all these deleted commits with different contents (and in particular different IDs), thus making the repository incompatible with any users' repositories where any of the now deleted commits had been downloaded.
I agree with Christian: leave it as-is, it is not perfect (perfection is not of this world) but we can live with it. Best regards, Tony. -- -- You received this message from the "vim_dev" maillist. Do not top-post! Type your reply below the text you are replying to. For more information, visit http://www.vim.org/maillist.php --- You received this message because you are subscribed to the Google Groups "vim_dev" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/vim_dev/CAJkCKXt9PVOQ4qgxxPfNw28dS%3DWdYVgwte5KfNWGAt7aMXFi-w%40mail.gmail.com.
