github_pull_services

Services that pull requests are merged into

id

Primary key

Unique identifier for the row.

pull_id

Foreign key

ID of the pull request

pull_source_id

Foreign key

Identifier of the Pull request in Github

service

string

Name of the service