Github GraphQL API / HeadRefDeletedEvent

Represents a 'head_ref_deleted' event on a given pull request.

Implements

• Node

Fields

actor : Actor

createdAt : DateTime!

headRef : Ref

headRefName : String!

id : ID!

pullRequest : PullRequest!