diff --git a/doc/forum/What_does_a___91__RepoName__93___means__63__/comment_1_9b1cb4beea0f67d7e7375e7ec189b802._comment b/doc/forum/What_does_a___91__RepoName__93___means__63__/comment_1_9b1cb4beea0f67d7e7375e7ec189b802._comment new file mode 100644 index 0000000000..c8dc7ce906 --- /dev/null +++ b/doc/forum/What_does_a___91__RepoName__93___means__63__/comment_1_9b1cb4beea0f67d7e7375e7ec189b802._comment @@ -0,0 +1,8 @@ +[[!comment format=mdwn + username="joey" + subject="""comment 1""" + date="2017-12-05T16:44:45Z" + content=""" +The name in brackets is the name of the git remote, if any, corresponding +to the repository. +"""]]