The 2020-10-22 21:39, Charles Campbell wrote:
I confess that I'm not a git master.  It'd be a help if you could send me a patch instead of a commit which I don't use, or inform me of the git command to download the file separately so I can diff and study it. I can see a nice pretty set of changes which is almost a diff, but I hate applying these things manually.  Iffy process, that.

There's a hint ("Pro Tip!") at the bottom of the github pull request page indicating that you can add ".patch" or ".diff" to the end of the URL:

    https://github.com/vim/vim/pull/7188.patch
    https://github.com/vim/vim/pull/7188.diff

Regards,
Nick Jensen

--
--
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 vim_dev+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/vim_dev/20201023015826.GC31442%40KERERU.localdomain.

Raspunde prin e-mail lui