Useful to force push in a PR so as to trigger github actions, as with flake-lock-update action created PRs.