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

Martin Nowak code at dawg.eu
Sat Nov 16 17:52:09 PST 2013


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.


More information about the Digitalmars-d mailing list