... to make git keep a possibly empty directory ...