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.
Clemens
>
> Frederic
>
> Le jeudi 5 janvier 2017 16:00:53 UTC+1, Clemens Heuberger a écrit :
>
> I am playing around with a patchbot and I am wondering whether there is
> some
> kind of caching or other latency involved with the tickets which are
> available
> for testing.
>
> For instance, ticket #21992: the branch was last changed 25 hours ago; 6
> hours
> ago it was set to positive review. However,
> $ grep 21992 rating.log
> yields nothing (the file was last updated one hour ago).
>
> If I understand correctly, the patchbot fetches
> https://patchbot.sagemath.org/ticket/?raw&status=open
> <https://patchbot.sagemath.org/ticket/?raw&status=open>
> If I download that file manually and have a look using
> $ python -m json.tool index.html\?raw\&status\=open |grep '"id":
> 21992'
> I do not get anything.
>
> So is the file served by
> https://patchbot.sagemath.org/ticket/?raw&status=open
> <https://patchbot.sagemath.org/ticket/?raw&status=open>
> somehow cached so that it is not current and does it simply take some
> time? How
> much time?
>
> Thank you,
>
> Clemens
>
--
Univ.-Prof. Dr. Clemens Heuberger Alpen-Adria-Universität Klagenfurt
Institut für Mathematik, Universitätsstraße 65-67, 9020 Klagenfurt, Austria
Tel: +43 463 2700 3121 Fax: +43 463 2700 99 3121
[email protected] http://wwwu.aau.at/cheuberg
--
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 [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
