Also ignore release.properties in Git.