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 committed 2018-04-12 13:16:38 -04:00
1 parent 4984d8433e
commit fc7e1de188
1 file changed
+1
+1
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.