Re: Git index.lock problem on a common directory.

[Grégory Pakosz]

Issue #12513 describes the 
problem: https://issues.jenkins-ci.org/browse/JENKINS-12513

Apparently it's assigned so let's hope it gets solved in upcoming releases 
of the plugin.

Gregory