diff --git a/support/hooks/pre-push b/support/hooks/pre-push
index b9485fd58ecf5..38ef688b9bd52 100755
--- a/support/hooks/pre-push
+++ b/support/hooks/pre-push
@@ -63,13 +63,18 @@ do
       if [[ $? -ne 0 ]]; then
         exit 1
       fi
+
+      echo "  Checking spelling for $i"
+      "$SCRIPT_DIR"/check_spelling_pedantic.py check $i
+      if [[ $? -ne 0 ]]; then
+        exit 1
+      fi
     done
     "$SCRIPT_DIR"/format_python_tools.sh check
     if [[ $? -ne 0 ]]; then
       exit 1
     fi
 
-
     # Check correctness of repositories definitions.
     echo "  Checking repositories definitions"
     if ! "$SCRIPT_DIR"/check_repositories.sh; then