Github user monsieurp commented on the issue:
https://github.com/apache/zeppelin/pull/2794
Hi @zjffdu! Cool. I will file another PR after this one.
I made a mistake, amended my commit and forced pushed it, which is why the
CI build failed. How can I get Jenkins to start a build again?---
