Revert of settings.xml in the gitignore in order to delete it