We are doing a bit of server maintenance at the moment, there should be no noticeable effects except for the possibility of some higher latency while changes are pushed out, shouldn't take long.

Update: There was a tiny bit of unexpected downtime during the maintenance, sorry about that.