GIT_SILENT: ignore more files

Authored by mlaurent on Mar 18 2019, 12:53 PM.