Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Added new includes.md topic to docs #5696
I have a request.
When we are reviewing, can we try really hard to perform one thorough review, and then approve once all suggested changes have been made? I recognize that this is more work for the reviewer, but @tomjohnson1492 has put a lot of work in improving our documentation, and I don't want those changes to be lost to bureaucracy.
Do point out things that must be changed before the PR can be merged, but also recognize that things can be further refined in future pull requests. There are some much needed improvements in these pull requests, and I would like to see them land in our documentation as soon as they can be reviewed.