Hi, all. The Evergreen git server will be rebooted at 4:30 PM EST (21:30 UTC, 1:30 PM PST) today. It should be down for no more than 5 minutes. Sorry for the lack of much advance warning, but we don't have a coordinated schedule for these things. (Perhaps we should but we're all volunteers here.) Cheers, Jason Stephenson