Skip to content

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

Robbert Krebbers requested to merge robbert/small_mrs into master

Merge request reports