From 912195ea1f8c14df2be8e500e5e702786fab99a9 Mon Sep 17 00:00:00 2001
From: Mike Lewis <mlewis@gitlab.com>
Date: Thu, 7 Feb 2019 21:02:43 +0000
Subject: [PATCH] Update Doc issue template to use /label for types

---
 .gitlab/issue_templates/Documentation.md | 23 ++++++++++++++++-------
 1 file changed, 16 insertions(+), 7 deletions(-)

diff --git a/.gitlab/issue_templates/Documentation.md b/.gitlab/issue_templates/Documentation.md
index 50b6485b628..6276176c872 100644
--- a/.gitlab/issue_templates/Documentation.md
+++ b/.gitlab/issue_templates/Documentation.md
@@ -11,14 +11,23 @@
 
 ### Type of issue
 
-Add the relevant label:
+<!-- Un-comment the lines for the applicable doc issue type and delete the others. -->
+
+<!-- /label ~docs:fix
+     Correction or clarification needed. -->
+     
+<!-- /label ~docs:new
+     New doc needed to cover a new topic or use case. -->
+     
+<!-- /label ~docs:improvement
+     Improving an existing doc; e.g. adding a diagram, adding or rewording text, resolving redundancies, cross-linking, etc. -->
+     
+<!-- /label ~docs:revamp
+     Review a page or group of pages in order to plan and implement major improvements/rewrites. -->
+
+<!-- /label ~docs:other
+     Anything else. -->
 
-- `docs:fix` - Correction or clarification needed.
-- `docs:new` - New doc needed to cover a new topic or use case.
-- `docs:improvement` - Improving an existing doc; e.g. adding a diagram, adding or rewording text, resolving redundancies, cross-linking, etc.
-- `docs:revamp` - Review a page or group of pages in order to plan and implement major improvements/rewrites.
-- `docs:other` - Anything else.
-   
 ### Problem to solve
 
 <!-- Include the following detail as necessary: