Skip to content

Use GitHub's Pull Request endpoint #8

@tmr08c

Description

@tmr08c

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).

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions