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

Merged

raklaptudirm merged 1 commit intoTheAlgorithms:masterfrom

vil02:properly_evaluate_GITHUB_ACTOR

Jan 13, 2024

Commits on Jan 9, 2024

fix: use `GITHUB_ACTOR` in `git config`
vil02
committed