From 7b33b314f979da37cd4890def0c0f8a05f889cf2 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Thu, 13 Oct 2011 17:29:05 +0200
Subject: [PATCH] clean NOTIFY files

---
 scripts/manage-git-mirror.sh | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/scripts/manage-git-mirror.sh b/scripts/manage-git-mirror.sh
index d253160..78489ec 100755
--- a/scripts/manage-git-mirror.sh
+++ b/scripts/manage-git-mirror.sh
@@ -36,11 +36,24 @@ function status () {
     ls -l /git-mirror/LOCK
 }
 
+function clean () {
+    totrash=$(ls /git-mirror/*/NOTIFIED 2> /dev/null)
+    if [ -z "$totrash" ] ; then
+	echo "No NOTIFIED file found"
+    else
+	echo "Trashing the following files"
+	ls -l $totrash
+	rm -f $totrash
+	echo Done
+    fi
+}
+
 function main () {
     case $1 in
 	start) start;;
 	stop) stop;;
 	status) status;;
+	clean) clean;;
 	*) echo "Usage: $COMMAND start|stop";;
     esac
 }
-- 
2.47.0