diff --git a/doc/bugs/allows_repository_with_the_same_name_twice.mdwn b/doc/bugs/allows_repository_with_the_same_name_twice.mdwn
index 91a31f3f0c..e32bfda612 100644
--- a/doc/bugs/allows_repository_with_the_same_name_twice.mdwn
+++ b/doc/bugs/allows_repository_with_the_same_name_twice.mdwn
@@ -21,3 +21,4 @@ Please provide any additional information below.
 
 Trying to get a file from bigserver kept on failing with the message "Try making some of these repositories available". Which led me on a wild goose chases blaming SSH keys and PATH issues.
 
+> [[done]]; not a bug --[[Joey]]