4 Address the problem where the tag is not pushed to the mainline
5 branch therefore causing the tag missing in the git history.
7 To fix this check commit count between the HEAD and
8 origin/${GERRIT_BRANCH} before the fetch and merge operation.
9 This is done to ensure that the tag lands on the target branch.
10 If the branch has already moved forward from the tagging point,
11 then a spur commit is created for the tag.