Expand description
GitHub webhook server — receives events from GitHub and dispatches them.
Provides start_webhook_server and check_webhook_health for the engine.
Structs§
- Dedup
Metrics - Metrics snapshot from the dedup store.
- Dedup
Store - 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
truewhenerepresents 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.