fix GIT_BRANCH for use with current Jenkins GitHub plugin version