git ignore defaults.ini