summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authortv <tv@shackspace.de>2015-06-28 13:51:04 +0200
committertv <tv@shackspace.de>2015-06-28 13:52:52 +0200
commit745071377f199bf3d2747e127ef152849f312053 (patch)
treefe6215dba8fe9a03fa917a44ee556ed15d07092f
parentf3d6721e6049525c453a5d470d27375b0173e3da (diff)
fetchgit: talk about origin
-rwxr-xr-xbin/fetchgit1
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"