It is not necessary to create ticket for document change if it is trivial change, otherwise you still need to create ticket.
Regarding the review, I am sorry that there¹s no much bandwidth to review for committers, if there¹s no response in 3 days, please ping someone or send mail in dev mail list. Best Regard, Jeff Zhang On 6/19/18, 9:50 PM, "Alex Ott" <alex...@gmail.com> wrote: >Hi all > >I have a question - should I file JIRA for documentation >fixes/improvements? >For example, I opened PR some time ago ( >https://github.com/apache/zeppelin/pull/2997) that fixes multiple problems >and improves documentation. But it still not merged... (conflict occur >afterwards - I'll rebase soon) > >-- >With best wishes, Alex Ott >http://alexott.net/ >Twitter: alexott_en (English), alexott (Russian)