Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

Pull request build failed with Git error, how to resolve?

I created a pull request ( https://github.com/Itseez/opencv/pull/6214 ) and submitted it. The buildbot did a build and all passed except Win 7 64 bit ( http://pullrequest.opencv.org/buildbot/builders/precommit_windows64/builds/5124 ) . This build seems to have failed with what looks like a Git error:

http://pullrequest.opencv.org/buildbot/builders/precommit_windows64/builds/5124/steps/Fetch%20opencv%20opencv/logs/stdio

fatal: Unable to create 'C:/builds_ocv/precommit_windows64/opencv/.git/index.lock': File exists.

If no other git process is currently running, this probably means a
git process crashed in this repository earlier. Make sure no other git
process is running and remove the file manually to continue.

This appears to be something that my code could not have caused, so I am not sure how to continue. Should I just recommit so the build tries again? I don't see any way to force the buildbot to try the build again.

Thanks, Jason