Commit 8646d5db authored by Ralf Jung's avatar Ralf Jung Committed by Robbert Krebbers
Browse files

Apply 2 suggestion(s) to 1 file(s)

parent ab8d7e5d
......@@ -36,10 +36,10 @@ 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
We prefer small and self-contained merge requests that add a single feature
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
(because it avoids blocking the whole merge request on a single
discussion).
## How to update the std++ dependency
......
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