Use printf for including the branch name in case it contains '%' characters.