14 Sep
2017
14 Sep
'17
4:52 p.m.
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