On February 12th we will be rebooting the following servers for routine kernel updates at various times throughout the day:

  • web31
  • web43
  • web61
  • web68
  • web69
  • web78
  • web79
  • web80
  • web81
  • web83
  • web96
  • web98
  • web104
  • web105
  • web107
  • web118
  • web133
  • web137
  • web162
  • web172
  • web179
  • web188
  • web194
  • web199
  • web201
  • web202
  • web203
  • web204
  • web206
  • web208
  • web209
  • web210
  • web211
  • web212
  • web215

Downtime on each server is expected to be less than 20 minutes. We will update this post as maintenance progresses.

2012-02-12 10:15 UTC All servers except web215 are back online. We’re working on bringing web215 back now.
2012-02-12 11:45 UTC web215 is back online.