I think the pull request would be automatically closed if the commit shas matched.
In this case, they do not match: https://github.com/apache/flex-sdk/pull/2 79498c7 vs. 3e286fd --Dasa On May 15, 2013, at 9:05 AM, OmPrakash Muppirala <bigosma...@gmail.com> wrote: > On May 15, 2013 8:37 AM, "Justin Mclean" <jus...@classsoftware.com> wrote: >> >> Hi, >> >> Hmm even when closed by the person who raised the pull request close it - > it still shows up as unmerged here: >> https://github.com/tomchiverton/flex-sdk/branches >> >> Which is I guess technically correct as I applied the patch from the pull > request not merged it. >> >> Any ideas on how to resolve? >> >> Thanks, >> Justin > > Ideally we would 'close' the pull request, but that requires admin access.
