You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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_at field. Ideally, this would be empty or something when the PR hasn't been merged.
Sometimes a pull request will be closed, but not merged. We should filter out closed but not merged pull requests.
Possible Solutions
merged_atfield. Ideally, this would be empty or something when the PR hasn't been merged.