chore: address commit comments for commit `dd4ec1f` (issue #7454) #18882

Job	Run time
Check for already resolved label	5s
Check for Git History label	0s
Check for EditorConfig label	0s
Check for project conventions label	0s
Check for stale label	0s
Check for contributor guidelines label	0s
Check for spam label	0s
	5s

Provide feedback