CONTRIBUTING: Mention GitLab option to allow edits from maintainers

Collaboration between contributors and developers is easier if a
developer can push an update to a contributor's MR source branch.
This commit is contained in:
Brad King 2018-04-12 13:16:28 -04:00
parent 4984d8433e
commit fc7e1de188

View File

@ -36,6 +36,7 @@ To contribute patches:
#. Push a topic branch to a personal repository fork on GitLab.
#. Create a GitLab Merge Request targeting the upstream ``master`` branch
(even if the change is intended for merge to the ``release`` branch).
Check the box to allow edits from maintainers.
The merge request will enter the `CMake Review Process`_ for consideration.