gitextensions/gitextensions — pull request #2166 by pmiossec (2013-12-10 20:38:08+00:00)
Title: Jenkins build plugin

Based on the work done by @pombeirP for TeamCity...

At the moment, it works for me...

I was obliged to add new build states to manage the different build status of jenkins.