Add instructions on how to user a different user

[rugk]

Unfortunately, still a little grey… but uhm… dunno, it's the official mail/creds they state in their Readme.

If you know a better way, let me know.

[EndBug]

That is just the picture that GitHub uses for any unknown user, so even if you use [email protected] the logo should be the same.
An alternative would be using [email protected], which I think it's the official placeholder account, since it's been reserved by GItHub. As you can see from the profile, it has the actions logo but it's cropped, so I wouldn't advise using it. Also, if you use this email GitHub will always show actions-user as the author name, even if the commit is signed with another name.

Unless we find a better alternative, I think it's better if we just leave it as it is.

[rugk]

Well… then I wonder why they did suggest this different mail in their own example.
Whether to use [email protected] or [email protected] hardly makes a difference I guess, so if the latter shows the proper avatar, why not use [email protected]?

I see nothing wrong with that. (Semantically) It's the user who committed it.

But it seems we're not the first one to have this issue: ad-m/github-push-action@2753077

The investigation there turned out your mail also does not work. It needs to be 41898282+github-actions[bot]@users.noreply.github.com. Should I adjust that?

[EndBug]

41898282+github-actions[bot]@users.noreply.github.com seems great to me! If you can edit the example to feature this email it's ready to merge. Also, explain that this will show the GitHub logo ;)