GIT_SILENT: ignore some files

Authored by mlaurent on Nov 9 2019, 9:18 AM.