
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.
Does everyone agree? If so does anyone feel able to update the wiki pages to say this?
Simon
From: ghc-devs [mailto:ghc-devs-bounces@haskell.org] On Behalf Of Arash Rouhani
Sent: 21 November 2013 10:39
To: ghc-devs@haskell.org
Subject: Re: [PATCH] Fix typo in User's Guide
Hello Simon,
If you look at this wikipage [1], it still says we can contribute using the `git send-email` to ghc-devs. Now I know you like for people to create tickets for bug fixes. But what about really tiny documentation patches? The WorkingConventions [2] page only mentions how to submit bugfixes and new feature patches.
So should I still use the instructions at [1] or is there some information missing in the wiki? Or should I really create a ticket for tiny patches?
[1]: https://ghc.haskell.org/trac/ghc/wiki/WorkingConventions/Git#Contributingpat...
[2]: https://ghc.haskell.org/trac/ghc/wiki/WorkingConventions
Best Regards,
Arash
On 2013-11-05 23:04, Simon Peyton-Jones wrote:
Thanks. the instructions are really out of date. Now that so many of us work on GHC, it's too easy for an email to get lost. Trac is better. I'll update the instructions!
S
From: ghc-devs [mailto:ghc-devs-bounces@haskell.org] On Behalf Of Pedro Rodrigues
Sent: 05 November 2013 21:47
To: Carter Schonwald
Cc: ghc-devs@haskell.orgmailto:ghc-devs@haskell.org
Subject: Re: [PATCH] Fix typo in User's Guide
Sure, here it is http://ghc.haskell.org/trac/ghc/ticket/8505
Should every bug fix have an associated ticket? Because from the instructions on Trachttp://ghc.haskell.org/trac/ghc/wiki/WorkingConventions/FixingBugs, I got the impression that for quick fixes it was not necessary to create a ticket.
Cheers,
Pedro Rodrigues
On 5 November 2013 18:56, Carter Schonwald