Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision f870757821537d5c80de37cdfb5211bf88f341bc)
+++ Jenkinsfile	(revision b67dc146decbe73bd0cfa74fede71cc52699c80c)
@@ -73,6 +73,7 @@
 	currentBuild.result = "SUCCESS"
 
+	//Properties sent by the git-hooks (ref name, latest commit hash, previous commit hash)
 	properties( [[$class: 'ParametersDefinitionProperty', parameterDefinitions: \
-			[[$class: 'StringParameterDefinition', name: 'GitRefName',      defaultValue: 'master', description: 'name of the ref that changed' ], \
+			[[$class: 'StringParameterDefinition', name: 'GitRefName',     defaultValue: 'master', description: 'name of the ref that changed' ], \
 			 [$class: 'StringParameterDefinition', name: 'GitRefNewValue', defaultValue: 'HEAD',   description: 'new commit of the reference' ],  \
 			 [$class: 'StringParameterDefinition', name: 'GitRefOldValue', defaultValue: 'HEAD~1', description: 'old commit of the reference']]   \