From 2149e4f005ffaa05773a45269fdbe56795f6b77d Mon Sep 17 00:00:00 2001
From: Erick Lavoie <erick.lavoie@unibas.ch>
Date: Tue, 26 Sep 2023 20:07:08 +0000
Subject: [PATCH] Update repo-monitor

---
 crb/repo-monitor | 19 ++++++++++++-------
 1 file changed, 12 insertions(+), 7 deletions(-)

diff --git a/crb/repo-monitor b/crb/repo-monitor
index b25a80c..b1f3962 100755
--- a/crb/repo-monitor
+++ b/crb/repo-monitor
@@ -3,16 +3,21 @@ SCRIPTDIR="$( cd -- "$(dirname "$0")" >/dev/null 2>&1 ; pwd -P )"
 
 INTERVAL=$1
 
-if [ -z "$INTERVAL" ]; then
-    INTERVAL=3
-fi
+
 
 if ! $SCRIPTDIR/repo-valid '.'; then
     exit 1
 fi
 
-while true; do 
-    clear; 
+
+if [ -z "$INTERVAL" ]; then
     git log $($SCRIPTDIR/repo-frontier) --pretty=oneline --decorate-refs='refs/heads/*' --decorate-refs='refs/delivered/*' --decorate-refs='refs/remotes/*' --format="%C(yellow)%h%Creset %Cgreen(%an)%Creset %s %Cred %d %Creset" --graph; 
-    sleep $INTERVAL; 
-done
+else
+    while true; do 
+        clear; 
+        git log $($SCRIPTDIR/repo-frontier) --pretty=oneline --decorate-refs='refs/heads/*' --decorate-refs='refs/delivered/*' --decorate-refs='refs/remotes/*' --format="%C(yellow)%h%Creset %Cgreen(%an)%Creset %s %Cred %d %Creset" --graph; 
+        sleep $INTERVAL; 
+    done
+fi
+
+
-- 
GitLab