with the only caveat being that one does not know what the PR number is until the Pull Request is made. That # is available after, so would need to either be amended to the commit while the PR is open, **or** we could grab it from the merge commit, after the fact.