How do I know whether a PR was merged or closed without merging?
Hi,
For the CHAOSS metrics Reviews Accepted and Reviews Declined, I need to know whether a pull request on GitHub was merged and closed OR closed without merging.
When I look at the github_enrich index, I don't see a field that has that information. 'state = closed' does not tell me whether the PR was accepted or not.
Did I miss something? Any suggestions?
Thanks, Georg