diff --git a/circle.yml b/circle.yml index 761ceac5..8204b832 100644 --- a/circle.yml +++ b/circle.yml @@ -139,6 +139,15 @@ docs_deploy: &docs_deploy - checkout - attach_workspace: at: build + - run: + name: Setup the deploy SSH key + command: | + ssh-add -L | tail -n1 > ~/.ssh/deploy.pub + cat < ~/.ssh/config + Host github.com + IdentityFile /root/.ssh/deploy.pub + IdentitiesOnly yes + EOF - run: name: Clone doc repository command: |