diff -r 1be70e3de751 -r 6e20976d58f5 Admin/cronjob/plain_identify
--- a/Admin/cronjob/plain_identify	Sat Mar 27 15:56:49 2021 +0100
+++ b/Admin/cronjob/plain_identify	Sat Mar 27 17:05:36 2021 +0100
@@ -19,15 +19,15 @@
   local SOURCE="$2"
   mkdir -p "$REPOS_DIR"
   if [ ! -d "$REPOS_DIR/$NAME" ]; then
-    hg clone --noupdate -q "$SOURCE" "$REPOS_DIR/$NAME"
+    "${HG:-hg}" clone --noupdate -q "$SOURCE" "$REPOS_DIR/$NAME"
   fi
 }
 
 function identify_repos ()
 {
   local NAME="$1"
-  hg pull -R "$REPOS_DIR/$NAME" -q
-  local ID="$(hg tip -R "$REPOS_DIR/$NAME" --template "{node|short}")"
+  "${HG:-hg}" pull -R "$REPOS_DIR/$NAME" -q
+  local ID="$("${HG:-hg}" tip -R "$REPOS_DIR/$NAME" --template "{node|short}")"
   echo "$NAME version: $ID"
 }