chore: address commit comments for commit 28febf0 (issue #7059)

Author: udaykakade25

.github/workflows/update_contributors.yml

@@ -78,7 +78,7 @@ jobs:
         run: |
           make update-contributors
 
-          # 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: