Github: Any way we can figure out which pulls are closed and which ones are merged?

[Andrej Mitrovic]

On 11/16/13, Brad Roberts <braddr at puremagic.com> wrote:
> https://api.github.com/repos/D-Programming-Language/dmd/pulls?state=open&per_page=10
>
> note the merged_at and closed_at fields.

Excellent, thanks!