Peter Eisentraut <peter.eisentraut@2ndquadrant.com> writes:
> On 2/12/18 16:19, Tom Lane wrote:
>> At that point, back-patching documentation fixes would become effectively
>> impossible except through manual intervention in the patching process.
> Are you not using git cherry-pick?
Yes, when it works, which it tends not to in cases that are even a little
bit complicated. I have zero faith that it works across a file rename,
and would not like to give up the option of using patch(1) instead. (See,
eg, recent discussions about the fragility of "git apply" vs "patch".)
regards, tom lane