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.
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.
