Suggest closing and opening to run Github Actions on PR

[nomeata]

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.

[truh]

Closing and opening the PR again doesn't trigger on.push actions for me.

[nomeata]

Hmm, ok. Maybe only works for on.pull_request