Skip to content
Proud to collaborate with Microsoft for Startups

repligit.ingest.github-push ​

Apply a GitHub push onto a subscribed Repligit replica

Apply one GitHub push event onto the subscribed Repligit replica, if any.

Does not speak Git itself — it reuses the ancestry-aware apply helper. Skipped when no pair exists or the pair is paused.

Overview ​

PropertyValue
Workflow typeAtomic
LibraryApp-repligit
Version1.0

Input Schema ​

FieldTypeRequiredDefaultDescription
source_repositorystringYes—GitHub owner/repo
delivery_refstringNo—GitHub delivery id
source_tokenstringNo——
source_usernamestringNo——

Output Schema ​

FieldTypeRequiredDefaultDescription
skippedbooleanNo——
skip_reasonstringNo——
replica_uuiduuidNo——
repository_uuiduuidNo——
refs_updatedintegerNo——
needs_sync_to_githubjsonNo——
delivery_refstringNo——
source_repositorystringNo——
source_tokenstringNo——
source_usernamestringNo——
failure_reasonstringNo——
failure_typestringNo——
failed_actionstringNo——
failed_at_statestringNo——
failed_stepstringNo——
failed_layerstringNo——
errorstringNo——
error_typestringNo——

States ​

StateInitialTerminalSuccessAuto-advanceDescription
pendingYesNo—execute—
completedNoYesYes——
failedNoYesNo——

State Diagram ​

Transitions ​

FromActionToDescription
pendingexecutecompleted—
* (any state)failfailed—

API Usage ​

bash
POST /api/workflows/start
Content-Type: application/json

{
  "workflow_type": "repligit.ingest.github-push",
  "initial_data": {
    "source_repository": "value"
  }
}