Github user akkumar commented on the issue:
https://github.com/apache/zookeeper/pull/726
Ok - in the logs I see this. Any suggestion what needs to be done to get
this sorted out ?
```
[exec]
[exec]
[exec] Error: No value specified for option "issue"
[exec] Session logged out. Session was JSESSIONID=....
[exec]
[exec]
[exec]
======================================================================
[exec]
======================================================================
[exec] Finished build.
[exec]
======================================================================
[exec]
======================================================================
[exec]
[exec]
[exec] mv:
'/home/jenkins/jenkins-slave/workspace/PreCommit-ZOOKEEPER-github-pr-build/patchprocess'
and
'/home/jenkins/jenkins-slave/workspace/PreCommit-ZOOKEEPER-github-pr-build/patchprocess'
are the same file
```
---
