jenkinsci/git-plugin — pull request #237 by daspilker (2014-06-26 14:59:01+00:00)
Title: JENKINS-20531

A fix for https://issues.jenkins-ci.org/browse/JENKINS-20531

Catches the GitException and throws an AbortException instead, using the same pattern as 10 lines above.