`lean cloud push` does not sync properly when files were moved

[ArthurAsenheimer]

Perform the following steps to reproduce the issue:

1. Starting point (in sync between local Lean CLI and QC Cloud):

2. Now in Lean CLI move new_file.py to another_dir/ then run lean cloud push <project_name>.

Results

This is how the directory structure looks like locally:

And this is how it looks like in QC Cloud:

Probably related to #52, but want to make clear that it's not limited to deleted files, but also affect files that were just moved to a different directory.

Note, the Unix command mv src dest just renames src to dest (at least as long as dest is on the same device as src). This is also how it works in Git as far as I know. And that's why I think this error could perhaps have a different cause than #52 .