-
Notifications
You must be signed in to change notification settings - Fork 1
Open
Labels
Description
Sometimes a pull request will be closed, but not merged. We should filter out closed but not merged pull requests.
Possible Solutions
- Use the Pull Request endpoint instead (Use GitHub's Pull Request endpoint #8). The response from this endpoint as a
merged_atfield. Ideally, this would be empty or something when the PR hasn't been merged. - Make an additional call to the Pull Request endpoint to check if merge (https://developer.github.com/v3/pulls/#get-if-a-pull-request-has-been-merged) for each PR we have.