[Ci-users] Emergency Jenkins Restart

Hi Folks,

To fix the Github Pull Request issue, I need to issue a Jenkins restart.
I'll attempt to restart the jobs that were running at the time.

Thanks for your patience,

--Brian