compensating for new git plugin in jenkins that adds 'origin/' in front of git_branch variable
Merge branch 'release_5.0'