chore: address commit comments for commit 28febf0

PR-URL: #7067
Closes: #7059

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

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: