Don't close until the PR is merged, see github docs for how to make it happen automatically when the merge happens.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.