github_pull_deployments

Mapping of GitHub pull requests to deployments, including deployment timing and environment.

id

Primary key

Unique identifier for the row.

pull_id

Foreign key

ID of the GitHub pull request associated with this deployment.

deployment_id

Foreign key

ID of the deployment associated with this pull request.

environment

string

Deployment environment (e.g., production, staging).

merge_to_deploy

number

Time in seconds from merge to deploy.

open_to_deploy

number

Time in seconds from PR open to deploy.

service

string

Name of the service deployed (if applicable).