Skip to content

Make our own git checkout action #211

@AlekSi

Description

@AlekSi

That would checkout PR's HEAD SHA instead of merge commit that is not available for pull_request_target.
It also should checkout a named branch.

Metadata

Metadata

Assignees

No one assigned

    Labels

    not readyIssues that are not ready to be worked on; PRs that should skip CI

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions