daz 87ccc98a2a Use correct SHA for pull request events
In a pull request, GITHUB_SHA is set to the "last merge commit on the GITHUB_REF branch".
This isn't the correct value to use when generating a dependency graph.
This changes to use the value of `pull_request.head.sha`, which is the correct
value for a dependency graph.

Fixes #882
2023-09-26 15:51:30 +02:00
..
2023-08-20 16:29:23 -06:00
2023-04-04 20:22:54 -06:00
2023-06-06 10:47:56 -06:00
2023-06-06 10:47:56 -06:00