Github user jongyoul commented on the issue:
https://github.com/apache/zeppelin/pull/2630
Yes, I know the current situation and this PR solves what kind of problem,
but our merge script uses squash merge from PR branch and it means if that PR
branch has `property` in that branch, it would have been merged by our merge
script, otherwise if that PR branch doesn't have `property` in that branch, CI
would fail. But AFAIK, that branch doesn't have `property` but CI passed. I
just wanted to know how it happens.
---
