repo git: Fix first character of file names being cut off sometimes in logs