remove this file from the SVN commit
it's already in the top-level gitignore of the git mirror
when we commit this, we can add a svn:ignore property on the parent folder.