From a592f69642ddb86f54b01c8b65801fd79534951e Mon Sep 17 00:00:00 2001
From: Emmanuel Cazenave <ecazenave@entrouvert.com>
Date: Wed, 14 Mar 2018 17:45:47 +0100
Subject: [PATCH] jenkinsfile: add parameter

---
 Jenkinsfile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index ea66af2..6bd913c 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,6 +1,9 @@
 pipeline {
     agent any
     triggers { pollSCM('H/2 * * * *') }
+    parameters {
+        string(name: 'GIT_BRANCH', defaultValue: 'wip/jenkinsfile', description: 'Git branch to use')
+    }
     stages{
         stage('unit test'){
             steps{