diff options
| author | tv <tv@shackspace.de> | 2015-06-28 13:51:04 +0200 |
|---|---|---|
| committer | tv <tv@shackspace.de> | 2015-06-28 13:52:52 +0200 |
| commit | 745071377f199bf3d2747e127ef152849f312053 (patch) | |
| tree | fe6215dba8fe9a03fa917a44ee556ed15d07092f | |
| parent | f3d6721e6049525c453a5d470d27375b0173e3da (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 612448b3d..09cc0e202 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" |