Github user FRosner commented on the issue:
https://github.com/apache/zeppelin/pull/2176
I get what you are saying and I agree. My only point was that you need to
be aware that this change only does the following thing:
**Before**: Who persists the local changes earlier, wins the conflict.
(User A wins in the example above)
**Now**: Who persists the local changes later, wins the conflict. (User B
wins in the example above)
And I was wondering if this is a useful change or not. If this change is
considered useful, the PR looks good to me :) If not, we should not merge it.
Again, thanks for your effort and time and I didn't mean to say that we
cannot go step by step. I just wanted to challenge this PR.
---
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.
---
