On Monday, October 31, 2022 at 1:36:13 PM UTC+1 Bram Moolenaar wrote:

>
> [ The git commit somehow ended up with the description of the previous 
> patch. Still waiting for someone to give me the git commands to fix 
> these things. Hopefully it will work OK from here forward! ]
>

In git you can't change the message (or anything else) of an existing 
commit. You can't change history. You can only rewrite it. Which means to 
discard it and write a new one. But then people would have to discard the 
old history and pull the new one too.

Tom M

-- 
-- 
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/9693fca3-22b7-484e-a1ac-43c19b7f7ba4n%40googlegroups.com.

Raspunde prin e-mail lui