On 2013-09-13, Robert Bradshaw <rober...@math.washington.edu> wrote:
> Exactly. I bet this happened with the change/upgrade of trac. We need
> to track resolution as well as status, should be an easy fix.
>
IMHO it's urgent. E.g. I'm not a trusted user anymore, and my tickets don't get
picked up
by the patchbot...
> On Fri, Sep 13, 2013 at 1:04 PM, Frédéric Chapoton <fchapot...@gmail.com>
> wrote:
>> Hello again,
>>
>> by digging in the sources of the patchbot, I think I have found the
>> offending line in serve.py
>>
>> for ticket in tickets.find({'status': 'closed : fixed'}):
>>
>> it seems that only rather old tickets can have the status "closed ; fixed"
>>
>> for example, I have none: compare
>>
>> http://patchbot.sagemath.org/ticket/?status=closed%20:%20fixed&author=chapoton
>>
>> and
>>
>> http://patchbot.sagemath.org/ticket/?status=closed&author=chapoton
>>
>> So it would be good to try and find a better way to know who can be trusted
>> !
>>
>> Cheers,
>>
>> Frederic
>>
>>
>> Le jeudi 12 septembre 2013 14:17:45 UTC+2, Frédéric Chapoton a écrit :
>>>
>>> Hello,
>>>
>>>
>>> it seems (the patchbot has told me) that I am not a default trusted user.
>>> That must be the reason why the patchbot dos not look at my patches.
>>>
>>> I feel a bit sad :( Not so long ago, the patchbot was working on my
>>> patches very often.
>>>
>>> If this is not a deliberate banishment (I hope not, I have not misbehaved,
>>> unless I was too active), could someone please put me back in the list of
>>> white sheeps ?
>>>
>>> Cheers,
>>>
>>> Frederic (user: chapoton)
>>
>> --
>> 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 http://groups.google.com/group/sage-devel.
>> For more options, visit https://groups.google.com/groups/opt_out.
>
--
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 http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/groups/opt_out.
