Chris Lambertus Tue, 10 Dec 2019 08:23:34 -0800
All, Jenkins will be restarted at approximately 1730UTC today to troubleshoot problems with github status checks and phantom builds of deleted jobs.
-Chris
