Repository navigation

chore: fix EditorConfig lint errors (issue #14500) #38712

Job	Run time
Merge changes from develop branch into this PR	-1s
Update copyright header years	-1s
Auto-fix lint errors	-6s
Rebase this PR on top of develop branch	-6s
Remove in-progress label	-7s
Check for required files	-9s
Manage labels	-10s
	-40s