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