Monthly GitHub Maintenance
The regular monthly maintenance on GitHub has been moved to Thursday, December 7, 2017 from 3:00pm - 4:00pm EST.
This will be a normal minor upgrade, but is being done one day later than the normal schedule to avoid conflicting with other work on Wednesday.