vonnieda's profile - activity

2016-03-07 09:55:54 -0600	commented answer	Pull request build failed with Git error, how to resolve? @berak Thank you for your response. ~~I tried resubmitting and the same error happened. It does seem like it's stuck.~~ Nevermind, it seems it has now gone through! Thank you!
2016-03-07 01:19:22 -0600	received badge	● Student (source)
2016-03-07 00:52:13 -0600	asked a question	Pull request build failed with Git error, how to resolve? I created a pull request ( https://github.com/Itseez/opencv/pull... ) and submitted it. The buildbot did a build and all passed except Win 7 64 bit ( http://pullrequest.opencv.org/buildbo... ) . This build seems to have failed with what looks like a Git error: http://pullrequest.opencv.org/buildbo... `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