[sage-devel] patchbot server down

['Jonathan Kliem' via sage-devel]

https://patchbot.sagemath.org/ displays an

Internal Server Error

-- 
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.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/a48bf171-b5cc-46f8-8286-dc487848586f%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

[sage-devel] patchbot server down

[Erik Bray]

https://patchbot.sagemath.org/ gives an Internal Server Error right
now.  Some pages work, such as the build pages for individual tickets,
but others are just screaming.

I'll look into it.

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

[sage-devel] Patchbot server down

[Jeroen Demeyer]

http://patchbot.sagemath.org/
gives me
503 Service Unavailable

--
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 http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.