Jenkinsfile: Handle either GIT_BRANCH or GIT_TAG
Jenkinsfile: Handle either GIT_BRANCH or GIT_TAG

Signed-off-by: Gianpaolo Macario <d50c09b51e61901a1c5054dce86f92776c198faa@mentor.com>
gmacario/learning-coccinelle