search

Astrocoders / lenses-ppx

GADT lenses
MIT License
105 stars 10 forks source link

Update GitHub Actions user commit #32

Closed savi2w closed 3 years ago

savi2w commented 3 years ago

​The recommended styles is:

git config --global user.email "github-actions@github.com"
git config --global user.name "github-actions[bot]"

Alternatively, if you want the actor to be the committer, you can do the following:

git config --global user.email "${GITHUB_ACTOR}@users.noreply.github.com"
git config --global user.name "${GITHUB_ACTOR}"

Originally posted by @smorimoto in https://github.com/Astrocoders/lenses-ppx/issues/31#issuecomment-733638788