Add "commit-users" command.

Change-Id: I7fd686ed600e4ad74d5e568caa28f4ec802df4f9

1 files changed, 11 insertions, 0 deletions

diff --git a/git-backup/backup.sh b/git-backup/backup.sh
index a3910a6..a30abe9 100755
--- a/git-backup/backup.sh
+++ b/git-backup/backup.sh
@@ -49,6 +49,17 @@ elif [ "$cmd" = "commit" ]; then
         exit 1
     fi
     echo "Jobs are now commited, but not pushed. Run $0 $1 $2 push"
+elif [ "$cmd" = "commit-users" ]; then
+    msg="Routine users update"
+    $SSH $HOST "cd /var/lib/jenkins; git commit -m \"$msg\" users"
+    msg="Capture new users"
+    $SSH $HOST "cd /var/lib/jenkins; git add users; git commit -m \"$msg\" users"
+    st=$?
+    if [ $st -ne 0 ]; then
+        echo "*** ERROR ***"
+        exit 1
+    fi
+    echo "Users are now commited, but not pushed. Run $0 $1 $2 push"
 elif [ "$cmd" = "push" ]; then
     gituser="$1"
     if [ "$4" != "" ]; then