On 2017-01-07 23:22, Vincent Delecroix wrote:
> Le 05/01/2017 à 18:05, Clemens Heuberger a écrit :
>>
>> Hello,
>>
>> On 2017-01-05 17:29, Frédéric Chapoton wrote:
>>> Tickets with untrusted authors are never looked at, unless you ask
>>> specifically so :
>>> {
>>> "Clemens Heuberger": "trusted",
>>> "Roswitha Rissner": "not trusted"
>>> }
>>
>> that's clear. My config.json has
>> "extra_trusted_authors": ["Roswitha Rissner"]
>> .
>>
>>
>> However, if I understand the code correctly, the patchbot should at least see
>> the ticket and report
>> "do not test if some author is not trusted"
>> , which it does not in my case. It's simply not in the downloaded file, its
>> not
>> in the ratings file, its nowhere.
>
> As far as I understand, this comes from the patchbot server that does not
> transmit the right list of tickets.
>
> https://github.com/sagemath/sage-patchbot/issues/76
>
> Do you agree?
Yes. The ticket I mentioned on Thursday has been seen by the patchbots since
that time, so it is not related to untrusted authors.
Clemens
--
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.
