to ensure that this directory is kept in the git repo
