Hi *,
at around 14:00 UTC today gerrit and askbot will have a short
maintenance downtime and change of IP (temporarily)
The change of IP might cause delays until you can access the services
at the new, temporary IP, depending how fast your DNS updates.
gerrit will be reachable at 144.76.139.237
askbot will be reachable at 144.76.139.238
A separate announcement will be sent right before the change happens.
ciao
Christian