From e75c20a249468b9de8b7da537eeda32ddd817dcb Mon Sep 17 00:00:00 2001
From: Benjamin Tissoires <benjamin.tissoires@gmail.com>
Date: Fri, 13 Oct 2017 18:15:26 +0200
Subject: [PATCH] circle.yml: fix doc deploy key

Of course, it was working on the local tests, but broke on upstream.

Signed-off-by: Benjamin Tissoires <benjamin.tissoires@gmail.com>
---
 circle.yml | 9 +++++++++
 1 file changed, 9 insertions(+)

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 <<EOF > ~/.ssh/config
+          Host github.com
+            IdentityFile /root/.ssh/deploy.pub
+            IdentitiesOnly yes
+          EOF
     - run:
         name: Clone doc repository
         command: |