I have a github workflow that is supposed to send a single diff to a different service.
The diff shall be that of the PR for which the workflow is running.
I k
