Commit ab8d7e5d authored by Robbert Krebbers's avatar Robbert Krebbers
Browse files

Expand `CONTRIBUTING.md` with information that we prefer small merge requests.

parent 205d0baa
......@@ -36,6 +36,12 @@ a feature branch instead.
[jung]: https://gitlab.mpi-sws.org/jung
[iris]: https://gitlab.mpi-sws.org/iris/iris
We prefer small and self-contained merge requests that add a single features
over merge requests that add arbitrary collections of lemmas. Small merge
requests are easier to review, and will typically be merged more quickly
(because it avoids that the whole merge request will be blocked on a single
discussion).
## How to update the std++ dependency
* Do the change in std++, push it.
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment