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

[Martin Nowak]

On 11/16/2013 08:39 PM, Andrej Mitrovic wrote:
> Excellent, thanks!

I remember that I wrote a small script for this once, but it's gone.
Walter asked for this.
The ugly thing about the API was that you had to iterate over each pull 
request which took pretty long for dmd.