GitHub push as a machine user?

ssh
github

#1

Hi all,

I’ve followed the instructions to create and authorize a github machine-user (https://circleci.com/docs/github-security-ssh-keys/#machine-user-keys). I’ve set the Checkout SSH Keys to be of that user.
One thing that may interfere with the checkout keys, is that the SSH Permissions contain another GitHub keyset. I don’t know.

However, when I do git push origin HEAD in the circle.yml file, it still does not use those creds. The way I know is that we have master as a protected branch, only admins can push to it using the CLI, and the push fails from the circleci container. Also, the name and email aren’t set in the commit, which also tell me the user isn’t what I thought it was.

Any ideas?

Thanks in advance!
Victor


#2

Hey, is there anyone who can help me out here? Anyone aware of a solution, or an official acknowledgement of the problem?


#3