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 [email protected] • http://www.joachim-breitner.de/ Jabber: [email protected] • GPG-Key: 0x4743206C Debian Developer: [email protected]
signature.asc
Description: This is a digitally signed message part
_______________________________________________ ghc-devs mailing list [email protected] http://www.haskell.org/mailman/listinfo/ghc-devs
