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

[Brad Roberts]

On 11/16/13 11:11 AM, Andrej Mitrovic wrote:
> I've e-mailed Github about this already (maybe a year ago), they said
> it would be great if we had this "feature" (this is basic
> functionality in my book..). But to no avail, they just keep adding
> useless features like embedded imagery, more smiley faces, automatic
> gravatar generation, while really needed features are never resolved.
>
> If you look at Bitbucket the pull requests can be filtered between
> Open/Merged/Declined (I think the last one also means Closed).
>
> So now I have the situation where I've got around 7 pages of my own
> closed pull requests on Github but I can't figure out which ones I've
> temporarily closed vs ones which were actually merged.
>
> Can merged/closed pull requests be figured out from some Github API perhaps?
>
> Btw I'm really starting to like Bitbucket recently. They finally
> support Git (for a while now I guess), they have messaging, threaded
> comments. Although even they seem to miss the basics like the ability
> to search pull requests. :(
>

 From the api, it's all there.  Go here (helps if you have jsonview or some other plugin that makes 
viewing json easy):

   https://api.github.com/repos/D-Programming-Language/dmd/pulls?state=open&per_page=10

note the merged_at and closed_at fields.