chore: follow-up fixes for commits merged to `develop` on 2026-07-14 #41979

Job	Run time
Update copyright header years	0s
Create a new todo issue	0s
Print a list of available slash commands	0s
Remove in-progress label	0s
Post a comment with make command instructions	-7s
Add initial reaction	-7s
Check for required files	-8s
Merge changes from develop branch into this PR	-8s
Rebase this PR on top of develop branch	-8s
Auto-fix lint errors	-10s
	-48s

Provide feedback