Github検索PRSマージ日付

Question

githubでPRを見つける方法はありませんか？実際には、日付の範囲でマージされたPR。

何も見つかりませんでしたし、それは奇妙な感じ、コミュニティに尋ねる。 ありがとう

Answer 1

PR GitHub APIを使用して、PRの「merge_at」フィールドの日付で照会する方法はないようです。

file-suggest_backports-py-L333（python）のようなスクリプトが、PRを日付で取得してソートする方法を確認できます。

# 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'] 

しかし、短期的には、スクリプトにそれを必要とする：

• それらが統合されたため、1が既にいずれか、マスターにマージされないように、または、彼らは何もコミットしているので、（右の枝を見つけます：How can I know in git if a branch has been already merged into master?を参照）
• ローカルリポジトリとリモートの両方でそれらを削除してください。 「How to delete a Git branch both locally and remotely?」