GIT_SILENT fix compilation on CI

Authored by dfaure on Aug 9 2018, 1:06 PM.