Properly evaluate GITHUB_ACTOR

[vil02]

Description

git log contains records like:

commit 88946160a3ee9a7770af607162ac8d69b93849a2
Author: github-actions <${GITHUB_ACTOR}@users.noreply.github.com>
Date:   Tue Jan 2 10:52:28 2024 +0000

    Update DIRECTORY.md [skip actions]

This PR properly evaluates the GITHUB_ACTOR variable in the respective workflow. When this will be merged, I will create similar PR in other repos.

Something to consider

Since user.email is generated using GITHUB_ACTOR, should also user.name be set to GITHUB_ACTOR?

Type of change

Please delete options that are not relevant.

• Bug fix (non-breaking change which fixes an issue)

Checklist:

• I checked COUNTRIBUTING.md and my code follows its guidelines.

[codecov-commenter]

Codecov Report

All modified and coverable lines are covered by tests ✅

Comparison is base (3a1724d) 94.58% compared to head (12ecf53) 94.58%.

Additional details and impacted files

@@           Coverage Diff           @@
##           master     #647   +/-   ##
=======================================
  Coverage   94.58%   94.58%           
=======================================
  Files         283      283           
  Lines       22801    22801           
=======================================
  Hits        21566    21566           
  Misses       1235     1235           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[siriak]

Looks good, thanks!

[siriak]

About the name, let's set it to "Github Actor". Looks reasonable. Could you do that here?