chore: address commit comments for commit c216291

PR-URL: #7068
Closes: #7058

Reviewed-by: Philipp Burckhardt <[email protected]>

Author: udaykakade25

.github/workflows/markdown_equations.yml

@@ -118,7 +118,7 @@ jobs:
         run: |
           make markdown-svg-equations-files FILES="${{ steps.changed.outputs.files }}"
 
-          # Stage *all* tracked and untracked changes first…
+          # Stage *all* tracked and untracked changes first...
           git add -A
 
           if git diff --cached --quiet; then
@@ -139,7 +139,7 @@ jobs:
           make markdown-img-equations-files FILES="${{ steps.changed.outputs.files }}"
           make markdown-img-equations-src-urls-files FILES="${{ steps.changed.outputs.files }}"
 
-          # Stage *all* tracked and untracked changes first…
+          # Stage *all* tracked and untracked changes first...
           git add -A
 
           if git diff --cached --quiet; then

.github/workflows/markdown_pkg_urls.yml

@@ -124,7 +124,7 @@ jobs:
         run: |
           make markdown-pkg-urls MARKDOWN_FILTER='.*/lib/node_modules/@stdlib/.*'
 
-          # Stage *all* tracked and untracked changes first…
+          # Stage *all* tracked and untracked changes first...
           git add -A
 
           if git diff --cached --quiet; then

.github/workflows/markdown_related_packages.yml

@@ -135,10 +135,10 @@ jobs:
           make markdown-related-files FILES="${files}"
           make markdown-pkg-urls-files FILES="${files}"
 
-          # Stage *all* tracked and untracked changes first…
+          # Stage *all* tracked and untracked changes first...
           git add -A
 
-          # If the index is identical to HEAD, nothing real changed:
+          # If the index is identical to HEAD, nothing really changed:
           if git diff --cached --quiet; then
             echo "changed=false" >> $GITHUB_OUTPUT