diff options
author | Silvio Rhatto <rhatto@riseup.net> | 2016-11-08 17:35:59 -0200 |
---|---|---|
committer | Silvio Rhatto <rhatto@riseup.net> | 2016-11-08 17:35:59 -0200 |
commit | fa29e7a54b861e79ea1e91d7d1b62a62bc36e0bf (patch) | |
tree | f8e03932e23d0dac37a6bcaf6c0438fb1d3808bf | |
parent | 570b76fb34ff962198939816aa9a5f925b451a06 (diff) | |
download | hydra-fa29e7a54b861e79ea1e91d7d1b62a62bc36e0bf.tar.gz hydra-fa29e7a54b861e79ea1e91d7d1b62a62bc36e0bf.tar.bz2 |
Bug report on weird git-remote behavior
-rwxr-xr-x | share/hydractl/sync-media-remotes | 25 |
1 files changed, 2 insertions, 23 deletions
diff --git a/share/hydractl/sync-media-remotes b/share/hydractl/sync-media-remotes index e032c7f..a3f9146 100755 --- 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 |