repo key

amackeith · Aug 5, 2018 · 2e8e15a · 2e8e15a
1 parent 5cdd3f5
commit 2e8e15a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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".