Hi there,

The intention for me is to develop locally, when using `lean` command line to `lean cloud pull`, it failed with a mysterious message here: 

61100_1692185646.jpg

This has happened for a while and not sure if why source code having this parameter will cause `lean cloud pull` fail.

I'm now unable to develop locally in my computer due to this error.

Thank you for helping!