[maintenance] Jenkins Restart - 1400 UTC

[Chris Thistlethwaite]

Greetings,

I'm going to restart Jenkins at 1400 UTC to pick up new configs from 
disk. With no other changes, this should be a quick restart.

Feel free to visit #asfinfra on Slack if you have any questions or concerns.


Thank you,
-Chris T.
#asfinfra