You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository has been archived by the owner on Nov 10, 2017. It is now read-only.
We don't use the split/merge/rebase functionality in zinc due to performance and correctness issues. We implemented our own in python which performs a lot better because it operates purely on text, instead of hydrating a huge JVM object graph.
This is reflected by test failures:
The text was updated successfully, but these errors were encountered: