github/github-services — pull request #308 by jorgenpt (2012-04-28 00:37:38+00:00)
Title: Clean up jenkins

* Changes the title of the old Jenkins to Jenkins (GitHub Plugin), as it's specific to the GitHub plugin.
* Adds a new Jenkins plugin that supports the official Git plugin's notification syntax.