Hi, Am Donnerstag, den 21.11.2013, 11:50 +0000 schrieb Simon Peyton-Jones:
Personally I think that even tiny patches should turn into tickets, and we should update the wiki to say so. For non-committers, there is too much danger that the patch simply gets lost if it’s not in a ticket with “patch” status.
People with commit rights can simply commit the tiny patch, so the issue doesn’t arise. And if you are in a dialogue with a committer you can send the patches that they are going to commit. But for otherwise-unconnected patches, make a ticket.
I would phrase it this way (or similar): “Tiny patches do not require a ticket, so if you can commit it yourself, or get a committer to do it right away, go ahead. Otherwise, please open a ticket so that your contribution is not lost.” (This sounds less like strict rules and more like “we care about your contributions, please help us not lose them”.) Greetings, Joachim -- Joachim “nomeata” Breitner mail@joachim-breitner.de • http://www.joachim-breitner.de/ Jabber: nomeata@joachim-breitner.de • GPG-Key: 0x4743206C Debian Developer: nomeata@debian.org