503 on https://jenkins.torproject.org/ (web and githook)
This morning, when doing a push to ssh://git-rw.torproject.org/project/web/manual.git
and also when opening https://jenkins.torproject.org/ on the tor browser, I get 503 error.
The one when pushing is especially scary, saying:
remote: <!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML 2.0//EN">
remote: <html><head>
remote: <title>503 Service Unavailable</title>
remote: </head><body>
remote: <h1>Service Unavailable</h1>
remote: <p>The server is temporarily unable to service your
remote: request due to maintenance downtime or capacity
remote: problems. Please try again later.</p>
remote: <hr>
remote: <address>Apache Server at jenkins.torproject.org Port 443</address>
remote: </body></html>
Edited by emmapeel