GIT_SILENT: ignore more files

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