Please consider the following formatting changes to #11067 #5

Job	Run time
PR formatting / copyright headers	9s
PR formatting / line endings	26s
PR formatting / clang-format	21s
PR formatting / whitespace	8s
PR formatting / pragma-once	6s
	1m 10s

Provide feedback