diff --git a/doc/news/version_5.20150113/comment_1_e1da6b6d532d8eb08373347de3a4f7ec._comment b/doc/news/version_5.20150113/comment_1_e1da6b6d532d8eb08373347de3a4f7ec._comment new file mode 100644 index 0000000000..952865509e --- /dev/null +++ b/doc/news/version_5.20150113/comment_1_e1da6b6d532d8eb08373347de3a4f7ec._comment @@ -0,0 +1,9 @@ +[[!comment format=mdwn + username="anarcat" + subject="comment 1" + date="2015-01-13T18:09:52Z" + content=""" +> * sync: Fix an edge case where syncing in a bare repository would try to merge and so fail. + +i think i just saw that bug yesterday, glad to see it fixed so quickly! +"""]]