fix: use `GITHUB_ACTOR` in `git config`#1379

vil02 wants to merge 1 commit intoTheAlgorithms:masterTheAlgorithms/C:masterfrom

vil02:properly_evaluate_GITHUB_ACTORvil02/C:properly_evaluate_GITHUB_ACTORCopy head branch name to clipboard