Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
TASK: Prevent editing with conflicting workspace
When the workspace has conflicts that cannot be resolved, it does not make sense to be able to edit the content. Therefore, we mark the workspace as read only in this case.
- Loading branch information