GIT_SILENT: ignore some files

Authored by mlaurent on Sep 4 2019, 7:01 AM.