Please consider the following formatting changes to #12473 #6

Job	Run time
PR formatting / copyright headers	11s
PR formatting / clang-format	19s
PR formatting / whitespace	9s
PR formatting / line endings	22s
PR formatting / pragma-once	5s
	1m 6s

Provide feedback