Skip to content
Discussion options

You must be logged in to vote
  1. The default ref of actions/checkout@v2 is to the reference or SHA for that event. The GITHUB_REF of pull request event is the PR merge branch. So if you doesn’t specify with ref part, it checks out the merged source code.
    github.event.pull_request.head.sha points to the pushed commit of the pull request, it is on the PR source branch.
  2. As far as I know, there is no way to prevent a specific branch merge to master.

Replies: 4 comments

Comment options

You must be logged in to vote
0 replies
Comment options

You must be logged in to vote
0 replies
Comment options

You must be logged in to vote
0 replies
Comment options

You must be logged in to vote
0 replies
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Product Feedback Share your thoughts and suggestions on GitHub features and improvements
3 participants