kernelci/build.py: fix git_branch_tip
#2734
Merged
Loading
git_branch_tip
#2734