No, but that is probably the right solution.  However, I can't commit time to that right now.

Do I need to do something to close the pull request?