diff --git a/doc/todo/option_in_git-annex-export_to_include_git_files/comment_1_91408bd6ed584cfd3ee17d126c9b698f._comment b/doc/todo/option_in_git-annex-export_to_include_git_files/comment_1_91408bd6ed584cfd3ee17d126c9b698f._comment
new file mode 100644
index 0000000000..412c4075b1
--- /dev/null
+++ b/doc/todo/option_in_git-annex-export_to_include_git_files/comment_1_91408bd6ed584cfd3ee17d126c9b698f._comment
@@ -0,0 +1,9 @@
+[[!comment format=mdwn
+ username="joey"
+ subject="""comment 1"""
+ date="2019-08-26T16:17:10Z"
+ content="""
+No, git-annex export *does* export regular git files.
+
+This is easy to verify, so I'm puzzled why you'd say it doesn't work.
+"""]]