github/github-services — pull request #425 by finn (2012-10-23 18:54:38+00:00)
Title: Jenkins hooks copy / documentation fixes.

Small fixes to typos, spelling, documentation, and labels. No code changes.