Payload schema
branchstring
The branch the push targeted.
commitOidstring | null
The head being pushed, or null when the push failed before resolving one.
errorstring
What GitHub (or token minting) reported.
ownerstring
GitHub owner of the mirror target.
repostring
GitHub name of the mirror target.
Raw JSON schema
{
"$schema": "https://json-schema.org/draft/2020-12/schema",
"type": "object",
"properties": {
"branch": {
"type": "string",
"description": "The branch the push targeted."
},
"commitOid": {
"anyOf": [
{
"type": "string"
},
{
"type": "null"
}
],
"description": "The head being pushed, or null when the push failed before resolving one."
},
"error": {
"type": "string",
"description": "What GitHub (or token minting) reported."
},
"owner": {
"type": "string",
"description": "GitHub owner of the mirror target."
},
"repo": {
"type": "string",
"description": "GitHub name of the mirror target."
}
},
"required": [
"branch",
"commitOid",
"error",
"owner",
"repo"
]
}