events.iterate.com

Event type

events.iterate.com/repo/github-push-failed

A mirror push to the linked GitHub repository failed. Best-effort mirroring self-heals: the next commit's push carries every missing commit, and repo.pushToGithub() repairs on demand.

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"
  ]
}