Bug report on weird git-remote behavior

diff --git a/share/hydractl/sync-media-remotes b/share/hydractl/sync-media-remotes
index e032c7fced69d4b81f82fb39a0cdf8efd99f4d88..a3f91461c8f4da335681537543a52afd0240dd56 100755 (executable)
--- a/share/hydractl/sync-media-remotes
+++ b/share/hydractl/sync-media-remotes
@@ -34,29 +34,8 @@ for folder in `ls $MEDIA`; do
       fi
 
       if ! git remote -v | sed -e 's/\t/ /g' | grep -q "^$name $addr $type$"; then
-        # This might not sync everything in the first run as some weird behavior
-        # happens according to this example:
-        #
-        # mkdir test && cd test
-        # git init
-        # git remote add origin git.example.org:test
-        # git remote set-url --add --push origin test.example.org:test
-        # git remote -v
-        #
-        # Expected output:
-        #
-        # origin       git.example.org:test (fetch)
-        # origin       git.example.org:test (push)
-        # origin       test.example.org:test (push)
-        #
-        # Actual output:
-        #
-        # origin       git.example.org:test (fetch)
-        # origin       test.example.org:test (push)
-        #
-        # You can get the expected output by doing this additional step:
-        #
-        # git remote set-url --add --push origin git.example.org:test
+        # This might not sync everything in the first run as some weird behavior.
+        # See https://github.com/git/git-scm.com/issues/886
         git remote $command $name $addr
       fi
     done