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.

On 11/16/13, Brad Roberts <braddr@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!

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.