GIT_SILENT remove unused include

Authored by dfaure on Nov 23 2019, 2:14 PM.