github_pull_issues

Association between GitHub pull requests and the issues they close, as reported by GitHub (closing keywords and manual links).

id

Primary key

Unique identifier of the row

issue_id

Foreign key

ID of the issue the pull request is linked to

pull_source_url

string

URL of the pull request in GitHub, as reported for the issue

pull_id

Foreign key

ID of the pull request. Null until that pull request has been imported, so filter on it being present when joining to github_pulls.