From 745071377f199bf3d2747e127ef152849f312053 Mon Sep 17 00:00:00 2001
From: tv <tv@shackspace.de>
Date: Sun, 28 Jun 2015 13:51:04 +0200
Subject: [PATCH] fetchgit: talk about origin

---
 bin/fetchgit | 1 +
 1 file changed, 1 insertion(+)

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"