From 2f6429a8a22676408133e71b4df19d37ed15875f Mon Sep 17 00:00:00 2001
From: Romain Boman <romain.boman@gmail.com>
Date: Fri, 12 Jun 2020 10:34:24 +0200
Subject: [PATCH] add warson to updatebin

---
 updatebin.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/updatebin.sh b/updatebin.sh
index 450d31e..9569905 100755
--- a/updatebin.sh
+++ b/updatebin.sh
@@ -11,5 +11,7 @@ echo "===== updating spring..."
 ssh spring 'cd ~/bin ; git pull'
 echo "===== updating gaston..."
 ssh gaston 'cd ~/bin ; git pull'
+echo "===== updating warson..."
+ssh warson 'cd ~/bin ; git pull'
 echo "===== done."
 
-- 
GitLab