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

Popular posts from this blog

c++ - Difference between pre and post decrement in recursive function argument -

php - Nothing but 'run(); ' when browsing to my local project, how do I fix this? -

php - How can I echo out this array? -