When running from a PR, the ref is the head of the PR in the origin
repository. The PR is used to:
* display comments about the location of the destination PR
* asynchronously close / merge the destination PR when something
happens in the origin PR
When only the ref is available, the destination PR must be closed and
the corresponding branch destroyed immediately after it concludes
because there is no convenient way to know what or when something
else will happen.
