Currently, this bot includes the following in the PR:
Running GitHub Actions on this PR
GitHub Actions will not run workflows on pull requests which are opened by a GitHub Action.
To run GitHub Actions workflows on this PR, run:
git branch -D update_flake_lock_action
git fetch origin
git checkout update_flake_lock_action
git commit --amend --no-edit
git push origin update_flake_lock_action --force
A simpler way (both in terms of explanation and execution) exists, and the text could be:
Running GitHub Actions on this PR
GitHub Actions will not run workflows on pull requests which are opened by a GitHub Action.
To run GitHub Actions workflows on this PR, please close it and then reopen it again.
Currently, this bot includes the following in the PR:
A simpler way (both in terms of explanation and execution) exists, and the text could be: