diff --git a/doc/bugs/git-annex-shell_-c_git-annex-shell_doesn__39__t_work__44___while_git-annex_expects_it_to/comment_2_63326b4e97f2b30529e7e3d2bdabbad7._comment b/doc/bugs/git-annex-shell_-c_git-annex-shell_doesn__39__t_work__44___while_git-annex_expects_it_to/comment_2_63326b4e97f2b30529e7e3d2bdabbad7._comment
deleted file mode 100644
index 1cc98f72db..0000000000
--- a/doc/bugs/git-annex-shell_-c_git-annex-shell_doesn__39__t_work__44___while_git-annex_expects_it_to/comment_2_63326b4e97f2b30529e7e3d2bdabbad7._comment
+++ /dev/null
@@ -1,9 +0,0 @@
-[[!comment format=mdwn
- username="https://openid-provider.appspot.com/iakornfeld"
- nickname="iakornfeld"
- avatar="http://cdn.libravatar.org/avatar/c0369f5727cad81d1ecf6c2e657b42a1b756284aad0229351f9027a2cfcb2037"
- subject="Yes"
- date="2018-08-07T14:07:38Z"
- content="""
-git push does this.
-"""]]