Proposing a solution to the API limitation for merged_by in pull_requests. Specifically the following called out in the readme:
Note that the merged_by column on the pull_requests table will only be populated for pull requests that are loaded using the --pull-request option - the GitHub API does not return this field for pull requests that are loaded in bulk.
Description
Proposing a solution to the API limitation for
merged_by
in pull_requests. Specifically the following called out in the readme:This approach might cause larger repos to hit rate limits called out in https://github.com/dogsheep/github-to-sqlite/issues/51 but seems to work well in the repos I tested and included below.
Old Behavior
--pull-request
flagsNew Behavior
--merged-by
flag for getting 'merge_by' information out of pull-requests without having to specify individual PR numbers.Testing
Picking some repo that has more than one merger (datasette only has 1 😉 )
userid
are now present for those PRs that were merged.Without the flag the
merged_by
behavior remains missing as expected when get PRs bulk:Individual PRs passed via
--pull-request
flag behaves as expected (unchanged):