Github user echarles commented on the issue: https://github.com/apache/zeppelin/pull/994 Didn't look at the code... just saw in the description (and @minahlee just confirmed it would be published). Thinking more about this PR: - Why the deploy and release plugins were not working? Using scrips instead of existing plugins is not ideal to me. - I understand distribution should not be published, but server should be. It contains the repo components that can be used elsewhere. Apart from the fact we could have a separate module for the repo, all components (excpect distribution) should be published. That's a rule of thumb and if we don't follow it, someone is gonna come sooner or later and ask for the missing bits.
--- If your project is set up for it, you can reply to this email and have your reply appear on GitHub as well. If your project does not have this feature enabled and wishes so, or if the feature is enabled but not working, please contact infrastructure at infrastruct...@apache.org or file a JIRA ticket with INFRA. ---