Delete gitminerConfiguration.properties