Jenkins: if GIT_BRANCH exists, use that