events.iterate.com

Event type

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

A mirror push delivered the branch head to the linked GitHub repository.

Payload schema

branchstring

The branch that was mirrored.

commitOidstring

The head that was pushed to GitHub.

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 that was mirrored."
    },
    "commitOid": {
      "type": "string",
      "description": "The head that was pushed to GitHub."
    },
    "owner": {
      "type": "string",
      "description": "GitHub owner of the mirror target."
    },
    "repo": {
      "type": "string",
      "description": "GitHub name of the mirror target."
    }
  },
  "required": [
    "branch",
    "commitOid",
    "owner",
    "repo"
  ]
}