How to change the user name who push with deploy key to github -
in organization of github, team member (suppose name john
) added deploy key repository.
we have bot user account. suppose account name botuser
, email bot@example.com
. put private key (which pair of deploy key john
added) /home/botuser/.ssh/
, configure /home/botuser/.gitconfig
this:
[user] name = botuser email = bot@exampe.com
and pushed tags (command git tag -a tag_name -m 'message' && git push --tags
) automatically botuser
setting. github displays user created tag john
. message of news feed page (url https://github.com/
) john created tag tag_name @ org_name/repo_name
.
but int tag page (url https://github.com/org_name/repo_name/releases/tag/tag_name
), tag supposed created botuser
. page shows botuser tagged hour ago
.
we want show botuser
in news feed page. how can this?
[updated]
in case, use deploy key
push tags. cannot set github account name of it.
my question "how can set (change) pusher
name pushed deploy key
".
you set environment variables (just git tag
command):
git_author_name git_author_email
that way, author associated pushed tag right one.
Comments
Post a Comment