Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Add --force to the release pushes performed by the CI
If the `deploy` step fails, the Github Actions run will be two commits behind the tip of the branch. We must allow the workflow to remove the last two (automatic) commits from the branch. Repos should use a `concurrency` setting to prevent Github Actions from removing manually added commits.
- Loading branch information