rewrite release tag if not up-to-date (#751)

Co-authored-by: CI Automation <infra@dfinity.org>
Co-authored-by: sa-github-api <138766536+sa-github-api@users.noreply.github.com>

release-controller/git_repo.py

@@ -287,7 +287,7 @@ def push_release_tags(repo: GitRepo, release: Release):
             cwd=repo.dir,
         )
         if (
-            not subprocess.check_output(
+            subprocess.check_output(
                 [
                     "git",
                     "ls-remote",
@@ -298,13 +298,15 @@ def push_release_tags(repo: GitRepo, release: Release):
             )
             .decode("utf-8")
             .strip()
+            .split(" ")[0] != v.version
         ):
             subprocess.check_call(
                 [
                     "git",
                     "push",
                     "origin",
                     tag,
+                    "-f",
                 ],
                 stdout=subprocess.DEVNULL,
                 stderr=subprocess.DEVNULL,