1Git does not record empty directories. Create a dummy file in each directory
2here. Strictly speaking, putting dummy files in leaf directories should be
3sufficient, but adding them everywhere reduces the risk of repeating the same
4problem in case new directories are added.
5