Please consider the following formatting changes to #8072 #12

Job	Run time
PR formatting / clang-format	30s
PR formatting / line endings	14s
PR formatting / copyright headers	5s
PR formatting / whitespace	6s
PR formatting / pragma-once	6s
	1m 1s

Provide feedback