angular/ci.angularjs.org — pull request #12 by jeffbcross (2013-07-29 18:17:59+00:00)
Title: feat(restart): Add script to restart jenkins.

On occasion, Jenkins needs to be restarted.
This two-liner script at ./bin/restart-jenkins.sh makes it simple.