Fix typo in "pre-push"

6 jobs for fix-typo-in-pre-push in 2 minutes and 40 seconds (queued for 1 second)