A few of the PRs were created by previous contributors (that are now not active). The code was merged, but the merge did not register with github. Do you know how to close these PRs? Or does the creator have to close the PR?
On Tue, Jul 12, 2016 at 9:14 AM, Till Westmann <[email protected]> wrote: > Hi, > > are all the PRs [1] still open or can we close some? > > Thanks, > Till > > [1] https://github.com/apache/vxquery/pulls
