Delete local tags before fetching to avoid problems on rebuilding

Author: Stefan Burnicki

scripts/ci/building/merge_develop_into_release.sh

@@ -19,8 +19,9 @@ git config user.name 'bamboo iteratec'
 echo "########################################'"
 echo "git fetch release"
 git config remote.origin.fetch +refs/heads/*:refs/remotes/origin/*
+git tag -d $(git tag -l)
 git fetch --all
 echo "git checkout release"
 git checkout release
 echo "git merge develop"
-git merge develop
+git merge develop