On 2022-May-20, Laurenz Albe wrote: > Alvaro meant that my message already contained a patch, so there is no need to > send another one, unless you have a different suggestion.
Right. Being old-school, I can just save the email to a plain text file and do "patch < /tmp/emailfile". 'patch' has smarts to detect irrelevant parts of the message, so the complete email works fine as a patch. > Added value could be a suggested commit message with "git > format-patch" that could make the committer's job easier. Right -- especially so if it comes with Author/Discussion/etc lines. (I don't think I've seen any patch submitter do that.) Anyway, I pushed the patch. I appreciate your willingness to collaborate and look forward to your future participation, for sure. -- Álvaro Herrera PostgreSQL Developer — https://www.EnterpriseDB.com/ "World domination is proceeding according to plan" (Andrew Morton)
