I made some local changes to shared Python files in the Library folder but when I run `lean cloud push` it does not push those changes and when I run `lean cloud push --project Library`, I get an error that Library is not a Lean project.