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
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
somehow cached so that it is not current and does it simply take some time? How
much time?
Thank you,
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 [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.
