Github search PRS by merge date

Question

Is there any way to find PRs in github by it's merge date? Actually the PRs that were merged in the range of the dates.

Didn't find any and it feels weird, so asking the community. Thanks

It is *very* odd that this is not an option: https://docs.github.com/en/search-github/getting-started-with-searching-on-github/sorting-search-results — ProGirlXOXO, Oct 22 '21 at 17:36

score 3 · Answer 1 · edited May 23 '17 at 12:00

There does not seem to be a way to query by date, by "merge_at" field date on a PR using the PR GitHub API.

You can see how a script like file-suggest_backports-py-L333 (python) does it in order to get and sort PR by date.

    # Now get all PRs and filter by whether or not they belong to the
    # milestone; requesting them all at once is still faster than
    # requesting one at a time. This would also be easier if the API
    # supported sorting on PR lists
    for pr in self.iter_pull_requests(state='closed'):
        if (pr['number'] not in milestone_issues or not pr['merged_at']):
            continue

        merge_commit = self.get_pull_request_merge_commit(pr['number'])

        # Ignore commits that were merged before the last tag date
        if merge_commit['commit']['committer']['date'] < last_tag_date:
            continue

        if not self.find_merged_commit(merge_commit,
                                       since=last_tag_date):
            yield pr, merge_commit['sha']

But in short, you need to script it:

find the right branches (like the one already merged into master, either because they were merged, or because they have no commit: see "How can I know in git if a branch has been already merged into master?")
delete them both in your local repo and remotely. See "How to delete a Git branch both locally and remotely?"

Github search PRS by merge date

1 Answers1