On 12/09/2017 12:23, Jeroen Demeyer wrote:
On 2017-09-11 18:59, Maarten Derickx wrote:
I think that all patchbot failure tickets should automatically deserve
the status critical.
They should be blockers (unless the error comes from a broken patchbot).
+1
p.s. Tips on how to search for tickets on trac are welcome!
Google
site:trac.sagemath.org elliptic curves
The only annoying thing with Google is that it tends to prefer old pages
for bugs which are fixed long ago.
Or possibly, we could use the tag "patchbot" and hence a very simple
trac query.
--
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.
