And a git workflow for posting to that project, such as pull request events and releases from github
Looks like we can get pr number from
the easiest way I found is using the github context. The following example shows how to set it to an environment variable.
env:
PR_NUMBER: ${{ github.event.number }}
(https://stackoverflow.com/questions/59077079/how-to-get-pull-request-number-within-github-actions-workflow)
And a git workflow for posting to that project, such as pull request events and releases from github
Looks like we can get pr number from