Add a bit more detail to CONTRIBUTING.md
Specifically, clarify that PRs will be squashed before being merged into master.
I didn't want to make this doc to long by adding details about copybara peculiarities, but maybe that would be good to document elsewhere and link to here?
Based on discussion in #159
PiperOrigin-RevId: 285266498
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index aa3ffc3..d08c7ab 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -30,10 +30,14 @@
## Code reviews
All submissions, including submissions by project members, require review. We
-use GitHub pull requests for this purpose. Consult
+use GitHub pull requests (PRs) for this purpose. Consult
[GitHub Help](https://help.github.com/articles/about-pull-requests/) for more
information on using pull requests.
+Each PR will be merged into the master branch as a single commit by our
+automation workflow. Please keep PRs small (focused on a single issue) to
+streamline review and ease later culprit-finding.
+
## Community Guidelines
This project follows
