fix for Jenkins branch handling