Skip to content

Weird commit checked out during pull request trigger #1359

Open
@pantelis-karamolegkos

Description

@pantelis-karamolegkos

This is my trigger

on:
  pull_request:
    branches:
      - master

So I have an open PR targeting master from the branch my-feature

The tip of my branch is:

835e4b8 (HEAD ->my-feature origin/my-feature) Reset

I also noticed the following in the logs

 HEAD is now at c1d3b56 Merge 835e4b8 into a2f6789

where a2f6789 is the tip of the master.

Why is it using a distinct commit for the PR?

All the actions from that point on operate on this commit c1d3b56

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions