You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I think we really need a way to mirror a local folder to a remote one; many issues are born when a folder/file name changes or is deleted locally, but the remote keeps the old one.
One way would be to diff the local env with the remote one, but maybe even a command for "Mirror current local folder into remote" that just deletes the contents of the folder and then uploads would suffice
The text was updated successfully, but these errors were encountered:
I think we really need a way to mirror a local folder to a remote one; many issues are born when a folder/file name changes or is deleted locally, but the remote keeps the old one.
One way would be to diff the local env with the remote one, but maybe even a command for "Mirror current local folder into remote" that just deletes the contents of the folder and then uploads would suffice
The text was updated successfully, but these errors were encountered: