diff --git a/doc/bugs/git_annex_push_fails_on_Windows/comment_1_a7866c2131df8132e9aecebda085294c._comment b/doc/bugs/git_annex_push_fails_on_Windows/comment_1_a7866c2131df8132e9aecebda085294c._comment
new file mode 100644
index 0000000000..bf46c03f93
--- /dev/null
+++ b/doc/bugs/git_annex_push_fails_on_Windows/comment_1_a7866c2131df8132e9aecebda085294c._comment
@@ -0,0 +1,20 @@
+[[!comment format=mdwn
+ username="jstritch"
+ avatar="http://cdn.libravatar.org/avatar/56756b34ff409071074762951d270002"
+ subject="git annex pull is also broken"
+ date="2023-09-09T14:49:35Z"
+ content="""
+If I put the same file in the remote under the name pull-test.xtx and invoke the command git annex pull push-win-remote, git annex outputs:
+
+list push-win-remote ok
+
+import push-win-remote pull-test.xtx
+
+ok
+
+update refs/remotes/push-win-remote/adjusted/main(unlocked) ok
+
+(recording state in git...)
+
+But the file is not present in the repository.
+"""]]