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
Currently, we translate an input of "a/b/../foo" to a tree containing only a/foo. Ideally, it would be nice to translate it to a tree which also includes the a/b directory, even though it is not "really" used, because the bot would expect that.
Note: this would require #42 plus empty directories support on the server side as well.
The text was updated successfully, but these errors were encountered:
Currently, we translate an input of "a/b/../foo" to a tree containing only a/foo. Ideally, it would be nice to translate it to a tree which also includes the a/b directory, even though it is not "really" used, because the bot would expect that.
Note: this would require #42 plus empty directories support on the server side as well.
The text was updated successfully, but these errors were encountered: