HeadRefDeletedEvent query error


#1

Hi again, the following query is throwing a server error.
The problem is on headRef connection, if I remove it the query runs as expected.

{
  node(id: "MDE5OkhlYWRSZWZEZWxldGVkRXZlbnQ4MzM1Njc0Njk=") {
    ... on HeadRefDeletedEvent {
      actor { login __typename }
      createdAt
      headRef { name target { oid } }
      headRefName
      pullRequest { url }
    }
  }
}

Message: "Something went wrong while executing your query. This is most likely a GitHub bug. Please includeED22:1ADD:7B8DE4:10DDB5E:5988EA95when reporting this issue."