From 2e8e15a23ac282b7af01c7f27d52e7f13442a602 Mon Sep 17 00:00:00 2001
From: Andrea Censi <acensi@ethz.ch>
Date: Sun, 5 Aug 2018 14:15:59 -0700
Subject: [PATCH] repo key

---
 book/duckumentation/10_contributing/41_workflow.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/book/duckumentation/10_contributing/41_workflow.md b/book/duckumentation/10_contributing/41_workflow.md
index d581d63..af3572b 100644
--- a/book/duckumentation/10_contributing/41_workflow.md
+++ b/book/duckumentation/10_contributing/41_workflow.md
@@ -99,7 +99,7 @@ where `![username]` is your Github username.
 Click "start building".
 
 
-#### Add ssh key
+#### Add ssh key {#workaround-circleci}
 
 Go to "settings", "Checkout SSH keys".