diff options
author | Silvio Rhatto <rhatto@riseup.net> | 2016-11-08 17:35:41 -0200 |
---|---|---|
committer | Silvio Rhatto <rhatto@riseup.net> | 2016-11-08 17:35:41 -0200 |
commit | 570b76fb34ff962198939816aa9a5f925b451a06 (patch) | |
tree | e7cd5a615b75362d276e3c6db178603949c3ce16 | |
parent | 902d281a3f28ac142d0eb9edf880395637268607 (diff) | |
download | hydra-570b76fb34ff962198939816aa9a5f925b451a06.tar.gz hydra-570b76fb34ff962198939816aa9a5f925b451a06.tar.bz2 |
Comment on weird git-remote behavior
-rwxr-xr-x | share/hydractl/sync-media-remotes | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/share/hydractl/sync-media-remotes b/share/hydractl/sync-media-remotes index 217b17f..e032c7f 100755 --- a/share/hydractl/sync-media-remotes +++ b/share/hydractl/sync-media-remotes @@ -34,6 +34,29 @@ 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 git remote $command $name $addr fi done |