Advertisement
Guest User

Untitled

a guest
Jan 18th, 2020
158
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.43 KB | None | 0 0
  1. # actions/checkout did a merge checkout of the pull-request. As such, the first
  2. # commit is the merge commit. This means that on HEAD^ is the base branch, and
  3. # on HEAD^2 are the commits from the pull-request. We now check if those trees
  4. # have a common parent. If not, we fetch a few more commits till we do. In result,
  5. # the log between HEAD^ and HEAD^2 will be the commits in the pull-request
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement