On Wed, Jul 6, 2016 at 8:13 AM, Simon King <simon.k...@uni-koeln.de> wrote: > Hi William, > > On 2016-07-06, William Stein <wst...@gmail.com> wrote: >> On Wed, Jul 6, 2016 at 7:57 AM, Michael Orlitzky <mich...@orlitzky.com> >> wrote: >>> On 07/06/2016 06:30 AM, Simon King wrote: >>>> >>>> It seems useless to me. Thus, counter-question: Any substantial benefit >>>> with this? >>>> >>> >>> Yeah, I've worked on probably a hundred open source projects that have >>> this feature in one way or another. The votes are always completely >>> ignored, and users who don't know that waste their time flicking a >>> switch that isn't connected to anything. >>> >>> Is there a single example where voting on bugs has been used effectively? >> >> For SageMathCloud we prioritize which bugs we fix **very much** by how >> frequently users report them, which is a sort of voting. > > I see a benefit of votes by users (or one should say: Feed-back from > users). But the trac plugin would create votes by *developers*.
Not necessarily. Erik said a few hours ago: "Also I'd be in favor of enabling it [voting] for anonymous users at first. I think limiting it to people who already have Trac accounts limits its usefulness. " > > Cheers, > Simon > > -- > You received this message because you are subscribed to the Google Groups > "sage-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-devel+unsubscr...@googlegroups.com. > To post to this group, send email to sage-devel@googlegroups.com. > Visit this group at https://groups.google.com/group/sage-devel. > For more options, visit https://groups.google.com/d/optout. -- William (http://wstein.org) -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
