Use GitHub's Pull Request endpoint
Opened this issue · 0 comments
tmr08c commented
Currently, we are using the Issue
endpoint. GitHub has a Pull Request endpoint as well.
It looks like the PR endpoint doesn't let you filter on any sort of date field, so we would end up needing to fetch everything and filter (or play with sorting and paging and stop requesting pages after a certain date).