diff options
| author | tv <tv@krebsco.de> | 2015-06-28 13:51:04 +0200 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2015-06-28 13:52:52 +0200 |
| commit | 2e3f88470bb8c7e3eeecf428d7dd616388c829d2 (patch) | |
| tree | fe6215dba8fe9a03fa917a44ee556ed15d07092f | |
| parent | aa315bce60f8d5fdee792c9c7b42f35b6bc44981 (diff) | |
fetchgit: talk about origin
| -rwxr-xr-x | bin/fetchgit | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/fetchgit b/bin/fetchgit index 612448b..09cc0e2 100755 --- a/bin/fetchgit +++ b/bin/fetchgit @@ -38,6 +38,7 @@ is_up_to_date() { test "$(work_git rev-parse HEAD)" = "$(cache_git rev-parse "$git_rev")" } +# Notice how the remote name "origin" has been chosen arbitrarily. if ! is_up_to_date; then if ! test -d "$cache_dir"; then mkdir -p "$cache_dir" |