ci: fix jenkinsfile

+ Add missing ]
+ REPO_NAME seems un-recognized, so re-add 'jami-web'

Change-Id: Id2583183ffb363905e1a2561cdd7b8651ac126d9
diff --git a/Jenkinsfile b/Jenkinsfile
index a6f0d12..e717de3 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -30,7 +30,7 @@
                 [branches: [[compareType: 'PLAIN', pattern: 'master']],
                  compareType: 'PLAIN',
                  disableStrictForbiddenFileVerification: false,
-                 pattern: REPO_NAME],
+                 pattern: 'jami-web']],
             triggerOnEvents: [
                 commentAddedContains('!build'),
                 patchsetCreated(excludeDrafts: true, excludeNoCodeChange: true,