fix GIT_BRANCH for use with current Jenkins GitHub plugin version
Merge branch 'develop'