Fix script for tagging

Signed-off-by: Reinhard Nägele <unguiculus@gmail.com>
craftypath · Apr 24, 2020 · 3d48307 · 3d48307
1 parent 33da0f6
commit 3d48307
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tag.sh b/tag.sh
@@ -100,7 +100,7 @@ main() {
     git tag -a -m "Release $tag" "$tag" "${force[@]}"
 
     if [[ -z "$skip_push" ]]; then
-        git push "$remote" "refs/tags/$tag"
+        git push "$remote" "refs/tags/$tag" "${force[@]}"
     fi
 
     popd > /dev/null