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