Tools: master ae6b74bc

Diff Back to Repository
Author Committer Branch Timestamp Parent
dregad dregad master 2020-05-16 06:12 master 33b77c39
Changeset

Improve PR search query

Add 'head:' criteria to limit to existing author branches, to reduce the
number of REST queries. This greatly reduces the execution time for
contributors with many merged PRs.
mod - merged_pr_branches.py Diff File