-
Notifications
You must be signed in to change notification settings - Fork 148
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Removing empty directories doesn't work #147
Comments
I've just hit that and it is a bit surprising :-) |
@talex5 any chance you could have a look at it? It makes some stuff in the bridge a bit tricky.. |
avsm
pushed a commit
to avsm/datakit
that referenced
this issue
Jan 19, 2017
update opam file for mirage-logs
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Because Git doesn't store empty directories,
mkdir
in a transaction'srw
directory doesn't change the tree. However, because we do want the new directory to appear inls
listings we add it toextra_dirs
.However, when we remove a directory we don't delete it from its parent's
extra_dirs
and it still appears in thels
output.The text was updated successfully, but these errors were encountered: