Skip to main content

Module github

Module github 

Source
Expand description

GitHub webhook server — receives events from GitHub and dispatches them.

Provides start_webhook_server and check_webhook_health for the engine.

Structs§

DedupMetrics
Metrics snapshot from the dedup store.
DedupStore
Deduplication store — hides the backing implementation behind a clean API.

Functions§

check_webhook_health
Check if the webhook server is healthy by pinging its local health endpoint.
is_transient_bind_error
Return true when e represents a transient TCP bind error (e.g. port already in use) that is worth retrying.
start_webhook_server
Start the webhook HTTP server.
webhook_backoff_delay
Compute an exponential-backoff delay for webhook startup retries.