From 71feebb2c3711afbeac0845488f77aba82802b6c Mon Sep 17 00:00:00 2001
From: reinaortega <miguelangel.reinaortega@etsi.org>
Date: Wed, 16 Jun 2021 17:58:56 +0200
Subject: [PATCH] Matching tag names

Signed-off-by: reinaortega <miguelangel.reinaortega@etsi.org>
---
 scripts/validate.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/validate.sh b/scripts/validate.sh
index e6945847..7e50abcd 100644
--- a/scripts/validate.sh
+++ b/scripts/validate.sh
@@ -19,7 +19,7 @@ done
 
 echo "Using git branch $1"
 
-if [[ "$1" =~ .*-dev$ || "$1" == "master" ]]; then
+if [[ "$1" =~ .*-dev$ || "$1" =~ \d+(\.?\d)+ || "$1" == "master" ]]; then
 
 	cd /home/etsi/dev/robot2doc/robot2doc
 
-- 
GitLab