On 2013-01-16, Oren Eini (Ayende Rahien) wrote:

> What is the difference between PR & Patch

Maybe there is none, I'm not sure.  It's a vague feeling that "patch +
ticket" leads to more communication and is more inclusive that PR.

Stefan

Reply via email to