ci(release): force push release tag (#3380) (#3391)

Since we're only pushing a tag, this shouldn't delete commits

Even if someone adds commits in the meantime, we still want to move the
release tag to the commit we have just pushed.

Without this change, we'll see a "rejected stale info" error in CI

(cherry picked from commit da79706)

.github/workflows/RELEASE.yaml

@@ -250,7 +250,7 @@ jobs:
           git commit -am "ci: release version ${RELEASE_VERSION}"
           git push --force-with-lease origin ${RELEASE_BRANCH}
           git tag -fa ${RELEASE_VERSION} -m "ci: release version ${RELEASE_VERSION}"
-          git push --force-with-lease origin ${RELEASE_VERSION}
+          git push --force origin ${RELEASE_VERSION}
 
         env:
           RELEASE_VERSION: ${{ github.event.release.tag_name }}