You don't need to create a new complete path (pull request or branch) -- a second commit pushed in the same branch for this pull request will do it. Then you can have another patch to add the docs -- all will show up here if you reuse the same branch.

—
Reply to this email directly or view it on GitHub.