test on pushing with src/community/geoserver/.gitignore