Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
ci(release): force push release tag (#3380)
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)
- Loading branch information