summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorChristian Couder <chriscool@tuxfamily.org>2019-09-06 15:31:29 +0000
committerAchilleas Pipinellis <axil@gitlab.com>2019-09-06 15:31:29 +0000
commitc4c8c50af2328a00b8fd770e0306794774257a4e (patch)
treef42958b977cfdb4e5d3df050d3499765a6bbede4
parent95b8616d135acd8672cb0b71e514ebf429ff9622 (diff)
downloadgitlab-ce-c4c8c50af2328a00b8fd770e0306794774257a4e.tar.gz
Documentation: tell when push option was introduced
-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