Tweak circle.yml, check if having a github-user set means that user key is used for pushing to GitHub