GIT_SILENT remove some traces of KRun

Authored by dfaure on May 23 2020, 2:32 PM.