> > Alright, then. Guess there's nothing to do now but close the pull requests. > If it's possible to use ASF's deployment of Git Box (I don't know what's > required here), then we can do this ourselves. Otherwise, might need to > open a ticket with infra. > > - Mike > I'll look into Gitbox and see what I can figure out there.
The other option is to fork their changes (so as to maintain their contributions), finish things up, and then use the magic "this closes #XXX" that you did on that other PR. Is there any reason not to go that route? -Nick