Hello everyone,
the teamcity bots have been migrated to new machines (mostly) transparently on Tuesday. However the head node migration will be more disturbing: need to get new certificates, wait for dns to propagate aliasses and ask for new security scans, firewall opennings and such. I plan to do this Friday morning and expect it to take half a day. Let me know if you have any objections.
Cheers,
Lukasz