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.
Thanks in advance!