Avoid that git removes this directory 
