-
Notifications
You must be signed in to change notification settings - Fork 154
Closed
Labels
bugSomething isn't workingSomething isn't working
Description
Since upgrading to 1.0.223 lean-cli cannot anymore push to the cloud.
After creating a new project, first push works fine, but after that I'm getting collaboration lock error:
$ lean project-create test1
Successfully created Python project 'test1'
$ lean cloud push
[1/1] Pushing 'test1'
Successfully created cloud project 'test1' in organization '[REMOVED]'
Successfully updated name, files, libraries, and code_source_id for 'test1'
$ lean cloud push
[1/1] Pushing 'test1'
Cannot push 'test1': To prevent code loss, please read the project files after acquiring the collaboration lock.
Downgrading back to 1.0.221 fixes this issue.
Martin-Molinero
Metadata
Metadata
Assignees
Labels
bugSomething isn't workingSomething isn't working