Or changed by an autoformatter. Granted these concerns are probably less likely to apply to this particular file. Perhaps they just felt that anyone contribut

Or changed by an autoformatter. Granted these concerns are probably less likely to apply to this particular file. Perhaps they just felt that anyone contributing to git would already know why not to use those/what to use instead (but then there would be no need to ban them).