When we tag and branch, we generate simple PRs that ought to be merged automatically, not needing human review.

These are also trivial and don't need a full stack of PR tests, so the [skip-build] keyword can be included in the commit message.

That would avoid having lost PRs like https://github.com/redhat-developer/rhdh/pull/3176 going stale and being forgotten.

Complication:
if the PR is generated and signed by rhdh-bot, the comment must come from someone else. So... the tagRelease.sh script will require TWO github_tokens to achieve this