Lines Matching refs:prs
110 def get_pr_titles(prs):
112 for pr in prs:
127 prs = []
144 if pr not in prs:
145 prs.append(pr)
150 if dr not in prs:
151 prs.append(dr)
156 out += get_pr_titles(prs)
163 for pr in prs:
232 help='Download title of mentioned PRs')
Indexes created Tue May 05 00:25:04 UTC 2026