summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAchilleas Pipinellis <axil@gitlab.com>2019-09-06 15:31:31 +0000
committerAchilleas Pipinellis <axil@gitlab.com>2019-09-06 15:31:31 +0000
commit05fca5ff1558433029eb9771e582b99399a3eaaa (patch)
treef42958b977cfdb4e5d3df050d3499765a6bbede4
parent95b8616d135acd8672cb0b71e514ebf429ff9622 (diff)
parentc4c8c50af2328a00b8fd770e0306794774257a4e (diff)
downloadgitlab-ce-05fca5ff1558433029eb9771e582b99399a3eaaa.tar.gz
Merge branch 'docs-improve-label-push-opts' into 'master'
Documentation: tell when push option was introduced See merge request gitlab-org/gitlab-ce!32752
-rw-r--r--doc/user/project/merge_requests/index.md2
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/user/project/merge_requests/index.md b/doc/user/project/merge_requests/index.md
index 4e79d66df47..aa58e971cc3 100644
--- a/doc/user/project/merge_requests/index.md
+++ b/doc/user/project/merge_requests/index.md
@@ -398,6 +398,8 @@ You can also use this push option in addition to the
### Add or remove labels using git push options
+> [Introduced](https://gitlab.com/gitlab-org/gitlab-ce/merge_requests/31831) in GitLab 12.3.
+
You can add or remove labels from merge requests using push options.
For example, to add two labels to an existing merge request, use the