On 2015-06-08 12:33, Dmitry Olshansky wrote:

Actually it became quite common to present it as a pull request along
with documentation (where's DDoc, Robert?).

Yeah, I've noticed.

It makes commenting on code
a breeze. Plus re-use of auto-tester - author has more time to fix his
stuff should something not work on some platform.

It's possible to comment on any commit on GitHub. You don't need a pull request for that.

--
/Jacob Carlborg

Reply via email to