protection of empty directories by a local .gitignore